Decision procedures for BDI logics
From MaRDI portal
Publication:4209288
DOI10.1093/logcom/8.3.293zbMath0904.68158OpenAlexW2103739844MaRDI QIDQ4209288
Publication date: 27 September 1998
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/8.3.293
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (21)
How to decide what to do? ⋮ Reasoning About Belief Revision ⋮ A formal model of emotion triggers: an approach for BDI agents ⋮ From model checking to equilibrium checking: reactive modules for rational verification ⋮ Towards a theory of intention revision ⋮ Postulates for revising BDI structures ⋮ Levels of modality for BDI logic ⋮ Decision field theory extensions for behavior modeling in dynamic environment using Bayesian belief network ⋮ Where logic and agents meet ⋮ Unnamed Item ⋮ Mechanising first-order temporal resolution ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ Formal Modelling of Emotions in BDI Agents ⋮ Language Constructs for Multi-agent Programming ⋮ Exploring the future with resource-bounded agents ⋮ A Connectionist Computational Model for Epistemic and Temporal Reasoning ⋮ Tableaux for logics of time and knowledge with interactions relating to synchrony ⋮ A logical characterisation of qualitative coalitional games ⋮ Temporal Logics of Knowledge and their Applications in Security ⋮ Clausal resolution in a logic of rational agency ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication: Decision procedures for BDI logics
