Call For Paper

• Abductive and inductive reasoning
• Answer set programming
• Applications of logic-based AI systems
• Argumentation systems
• Automated reasoning including satisfiability checking and its extensions
• Computational complexity and expressiveness
• Deontic logic and normative systems
• Description logics and other logical approaches to semantic web and ontologies
• Knowledge representation, reasoning, and compilation
• Logic-based data access and integration
• Logic programming and constraint programming
• Logics for uncertain and probabilistic reasoning
• Logics in machine learning
• Logics in multi-agent systems, games, and social choice
• Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics
• Planning and diagnosis based on logic Preferences
• Reasoning about actions and causality