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

a service of Schloss Dagstuhl - Leibniz Center for Informatics