Multi-format (In-person/Virtual)
International Conference on Logics in Artificial Intelligence, Reasoning and Compilation (ICLAIRC-25)
18th - 19th June 2025 Ankara, Turkey
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
