2. LPNMR 1993: Lisbon, Portugal

Luís Moniz Pereira, Anil Nerode: Logic Programming and Non-monotonic Reasoning, Proceedings of the Second International Workshop, Lisbon, Portugal, June 1993. The MIT Press 1993, ISBN 0-262-66083-0


MBNF and Related Topics

Stability and Related Topics

Disjunctive LP, Inconsistency Handling

Nonstandard Semantics

Constructive Logic

maintained by Schloss Dagstuhl LZI at University of Trier