International Conference on Logics in Artificial Intelligence, Reasoning and Compilation (ICLAIRC - 24)
16th - 17th December 2024 Brno, Czech Republic (Hybrid Event)
- 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
Presenter Form
Listener Form
