Pages that link to "Item:Q4209288"
From MaRDI portal
The following pages link to Decision procedures for BDI logics (Q4209288):
Displaying 29 items.
- A formal model of emotion triggers: an approach for BDI agents (Q375310) (← links)
- Levels of modality for BDI logic (Q456714) (← links)
- Postulates for revising BDI structures (Q625696) (← links)
- Where logic and agents meet (Q657584) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- Decision field theory extensions for behavior modeling in dynamic environment using Bayesian belief network (Q924665) (← links)
- Exploring the future with resource-bounded agents (Q1006514) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- BDI-modelling of complex intracellular dynamics (Q1788608) (← links)
- Minimal belief and negation as failure in multi-agent systems (Q1861897) (← links)
- How to decide what to do? (Q1885765) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Reasoning about rational agents (Q2756785) (← links)
- A model for extracting a class of knowledge operators, logic disjunctions and logic alternatives from BDI agents (Q2784639) (← links)
- Deduction systems for BDI logics with mental state consistency (Q2844928) (← links)
- Temporal logics of knowledge and their applications in security (Q2866724) (← links)
- Reasoning About Belief Revision (Q2912142) (← links)
- On the testability of BDI agent systems (Q2921077) (← links)
- Formal Modelling of Emotions in BDI Agents (Q3602941) (← links)
- Language Constructs for Multi-agent Programming (Q3602945) (← links)
- Tableaux for logics of time and knowledge with interactions relating to synchrony (Q3647215) (← links)
- BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Computational Logic in Multi-Agent Systems (Q5464682) (← links)
- A Connectionist Computational Model for Epistemic and Temporal Reasoning (Q5476690) (← links)
- Modeling and shadowing paraconsistent BDI agents (Q6634281) (← links)
