Workshop Information
|
Relevant topics include, but are not limited to
- logical foundations of (multi-)agent systems
- modal logic approaches to (multi-)agent systems
- non-monotonic reasoning in (multi-)agent systems
- agent and multi-agent hypothetical reasoning and learning
- theory and practice of argumentation for agent reasoning and interaction
- knowledge and belief representation and updates in (multi-)agent systems
- model checking algorithms, tools, and applications for (multi-)agent logics
- semantics of interaction and agent communication languages
- temporal reasoning for (multi-)agent systems
- distributed theorem proving for multi-agent systems
- logic-based implementations of (multi-)agent systems
- specification and verification of interaction protocols in (multi-)agent systems
|
