International Conference on Logics in Artificial Intelligence and Machine Learning

• 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