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

Implementation

MBNF and Related Topics

Stability and Related Topics

Disjunctive LP, Inconsistency Handling

Nonstandard Semantics

Constructive Logic