2. LPNMR 1993: Lisbon, Portugal

Implementation

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