Login / Signup
Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic.
Michael J. Vezina
François Schwarzentruber
Babak Esfandiari
Sandra Morley
Published in:
AAMAS (2023)
Keyphrases
</>
dynamic epistemic logic
operational semantics
epistemic logic
agent architecture
bdi agents
multi agent systems
agent programming
incomplete information
conditional probabilities
formal theory
bayesian networks
mental states
probabilistic model
rough sets
decision theory
partial observability