14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017)

Foundations of LPNMR Systems:

• Semantics of new and existing languages;

• Action languages, causality;

• Formalization of Commonsense Reasoning and understanding its laws and nature;

• Relationships among formalisms;

• Complexity and expressive power;

• Inference algorithms and heuristics for LPNMR systems;

• Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities;

• Updates, revision, and other operations on LPNMR systems;

• Uncertainty in LPNMR systems.

Implementation of LPNMR systems:

• System descriptions, comparisons, evaluations;

• Algorithms and novel techniques for efficient evaluation;

• LPNMR benchmarks.

Applications of LPNMR:

• Use of LPNMR in Commonsense Reasoning and other areas of KR;

• LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies;

• Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking;

• Applications of LPNMR to bioinformatics, linguistics, psychology, and other sciences;

• Integration of LPNMR systems with other computational paradigms;

• Embedded LPNMR: Systems using LPNMR subsystems.