3. LPAR 1992: St. Petersburg, Russia

Semantics I

Non-Resolution Theorem Proving I


Data Bases and Knowledge Bases

Resolution Theorem Proving

Theorem Proving and Complexity

Implementation Aspects

Logical Frameworks

Parallel Theorem Proving and Logic Programming

Unification and Equality I

Semantics II

Extensions of Logic Programming

Non-Resolution Theorem Proving II

Specification and Verification

Unification and Equality II

System Descriptions

maintained by Schloss Dagstuhl LZI, founded at University of Trier