aim and scope

The aim of JELIA 2014 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners.

Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including:

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
Reasoning about actions and causality
Updates, belief revision and nonmonotonic reasoning