2. LPNMR 1993: Lisbon, Portugal

Implementation

MBNF and Related Topics

Stability and Related Topics

Disjunctive LP, Inconsistency Handling

Nonstandard Semantics

Constructive Logic

a service of Schloss Dagstuhl - Leibniz Center for Informatics