Topics

Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to:

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