Modal and Justification Logics for Multi-agent Systems (Invited Talk).
Christian CachinDavid LehnherrThomas StuderPublished in: CLAR (2023)
Keyphrases
- invited talk
- modal logic
- coalition logic
- multi agent systems
- cl pc
- nonmonotonic logics
- logical framework
- model checking
- epistemic logic
- temporal logic
- inference rules
- knowledge discovery and data mining
- selected papers
- pspace complete
- autonomous agents
- expressive power
- intelligent agents
- propositional variables
- multi agent
- dynamic logic
- agent systems
- default logic
- situation calculus
- game theory
- neural network
- coalition formation
- agent technology
- agent architecture
- belief revision
- program committee
- acceptance rate
- online learning
- expert systems
- australasian database conference
- knowledge base
- artificial intelligence