Decision procedures for BDI logics
From MaRDI portal
Recommendations
- On decision procedures for sentential logics
- scientific article; zbMATH DE number 2062375
- Decision procedures for logics of consequential implication
- Decision procedures for some strong hybrid logics
- scientific article; zbMATH DE number 1341606
- Decision procedure of some relevant logics: a constructive perspective
- BDD-based decision procedures for the modal logic K ★
- scientific article; zbMATH DE number 2090285
- Decision problems for propositional linear logic
- Verified Decision Procedures for Modal Logics.
Cited in
(36)- Exploring the future with resource-bounded agents
- Clausal resolution in a logic of rational agency
- BDI-modelling of complex intracellular dynamics
- Minimal belief and negation as failure in multi-agent systems
- How to decide what to do?
- From model checking to equilibrium checking: reactive modules for rational verification
- Mechanising first-order temporal resolution
- Using temporal logics of knowledge for specification and verification -- a case study
- Reasoning about rational agents
- A model for extracting a class of knowledge operators, logic disjunctions and logic alternatives from BDI agents
- Deduction systems for BDI logics with mental state consistency
- Temporal logics of knowledge and their applications in security
- Reasoning About Belief Revision
- On the testability of BDI agent systems
- Efficient decision procedure for belief modality
- Formal Modelling of Emotions in BDI Agents
- Language Constructs for Multi-agent Programming
- Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables
- Tableaux for logics of time and knowledge with interactions relating to synchrony
- BDD-based decision procedures for the modal logic K ★
- A logical characterisation of qualitative coalitional games
- A formal model of emotion triggers: an approach for BDI agents
- scientific article; zbMATH DE number 1305374 (Why is no real title available?)
- scientific article; zbMATH DE number 1980924 (Why is no real title available?)
- Levels of modality for BDI logic
- Practical reasoning with procedural knowledge (a logic of BDI agents with know-how)
- The semantics of behavior
- Computational Logic in Multi-Agent Systems
- A Connectionist Computational Model for Epistemic and Temporal Reasoning
- Postulates for revising BDI structures
- Where logic and agents meet
- Modeling and shadowing paraconsistent BDI agents
- ToMA: Computational theory of mind with abstractions for hybrid intelligence
- \({\mathcal E}\)-connections of abstract description systems
- Towards a theory of intention revision
- Decision field theory extensions for behavior modeling in dynamic environment using Bayesian belief network
This page was built for publication: Decision procedures for BDI logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4209288)
