8. LPAR 2001: Havana, Cuba

Invited Talk

Verification

Guarded Logics

Agents

Automated Theorem Proving

Automated Theorem Proving

Non-Classical logics

Types

Experimental Papers

Foundations of Logic

CSP and SAT

Non-monotonic Reasoning

Semantics

Experimental Papers

Termination

Knowledge-Based Systems

Analysis of Logic Programs

Databases and Knowledge Bases

Termination

Program Analysis and Proof Planning