International Conference on Logics in Artificial Intelligence, Reasoning and Compilation

• • 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