1st IJCAR 2001: Siena, Italy

Invited Talks

Description, Modal and Temporal Logics

Saturation Based Theorem Proving, Applications, and Data Structures

Logic Programming and Nonmonotonic Reasoning

Propositional Satisfiability and Quantified Boolean Logic

Logical Frameworks, Higher-Order Logic, Interactive Theorem Proving

Semantic Guidance

Equational Theorem Proving and Term Rewriting

Tableau, Sequent, Natural Deduction Calculi and Proof Theory

Automata, Specification, Verification, and Logics of Programs

Nonclassical Logics

maintained by Schloss Dagstuhl LZI, founded at University of Trier