Special Track on Nonmonotonic Reasoning

Guest Editors

Gerhard Brewka

Victor Marek

Mirek Truszczynski

Special Track Contents

Nonmonotonic reasoning concerns situations when information is incomplete or uncertain. Thus, conclusions drawn lack iron-clad certainty that comes with classical logic reasoning. New information, even if the original one is retained, may change conclusions. Formal ways to capture mechanisms involved in nonmonotonic reasoning, and to exploit them for computation as in the answer set programming paradigm are at the heart of this research area.

The six papers accepted for the special track contain significant contributions to the foundations of logic programming under the answer set semantics, to nonmonotonic extensions of description logics, to belief change in restricted settings, and to argumentation. They illustrate that the field remains vibrant and relevant to the long-term goals of artificial intelligence.