Non-Monotonic Reasoning
Reinfrank, Michael / Sandewall, Erik / Ginsberg, Matthew L. / Kleer, Johan De
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15, 1988. The workshop brought together researchers with different backgrounds, including non-monotonic logic, logic programming, truth maintenance and philosophy. Their papers contain substantial advances to the logical foundations of non-monotonic reasoning, its computation...