Abstract is missing.
- Some Reflections on Proof TransformationsPeter B. Andrews. 14-29 [doi]
- Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma SpeculationAlessandro Armando, Luca Compagna, Silvio Ranise. 30-45 [doi]
- SAT-Based Decision Procedures for Automated Reasoning: A Unifying PerspectiveAlessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella. 46-58 [doi]
- Temporal Dynamics of Support and Attack Networks: From Argumentation to ZoologyHoward Barringer, Dov M. Gabbay, John Woods. 59-98 [doi]
- Footprints of ConditionalsChristoph Beierle, Gabriele Kern-Isberner. 99-119 [doi]
- Time for Thinking Big in AIWolfgang Bibel. 120-131 [doi]
- Solving First-Order Constraints over the Monadic ClassDimitri Chubarov, Andrei Voronkov. 132-138 [doi]
- From MKRP to OmegaManfred Kerber. 139-153 [doi]
- Decidable Variants of Higher-Order UnificationManfred Schmidt-Schauß. 154-168 [doi]
- Normal Natural Deduction Proofs (in Non-classical Logics)Wilfried Sieg, Saverio Cittadini. 169-191 [doi]
- History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!Claus-Peter Wirth. 192-203 [doi]
- The Flowering of Automated ReasoningLarry Wos. 204-227 [doi]
- Description Logics as Ontology Languages for the Semantic WebFranz Baader, Ian Horrocks, Ulrike Sattler. 228-248 [doi]
- Living Books, Automated Deduction and Other Strange ThingsPeter Baumgartner, Ulrich Furbach. 249-267 [doi]
- An Essay on Sabotage and ObstructionJohan van Benthem. 268-276 [doi]
- Bridging Theorem Proving and Mathematical Knowledge RetrievalChristoph Benzmüller, Andreas Meier, Volker Sorge. 277-296 [doi]
- Formal Description of Natural Languages: An HPSG Grammar of PolishLeonard Bolc. 297-320 [doi]
- Psychological Validity of Schematic ProofsMateja Jamnik, Alan Bundy. 321-341 [doi]
- Natural Language Proof ExplanationArmin Fiedler. 342-363 [doi]
- Why Proof Planning for Maths Education and How?Erica Melis. 364-378 [doi]
- Towards MultiMedia Instruction in Safe and Secure SystemsBernd Krieg-Brückner. 379-395 [doi]
- The Impact of Models in Software DevelopmentManfred Broy. 396-406 [doi]
- Formal Software Development in MAYADieter Hutter, Serge Autexier. 407-432 [doi]
- A Unification Algorithm for Analysis of Protocols with Blinded SignaturesDeepak Kapur, Paliath Narendran, Lida Wang. 433-451 [doi]
- Exploiting Generic Aspects of Security Models in Formal DevelopmentsHeiko Mantel, Axel Schairer. 452-475 [doi]
- Verification Support EnvironmentWerner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock. 476-493 [doi]
- SAT-Based Cooperative Planning: A ProposalMarco Benedetti, Luigia Carlucci Aiello. 494-513 [doi]
- Towards Comprehensive Computational Models for Plan-Based Control of Autonomous RobotsMichael Beetz. 514-527 [doi]
- Agents with Exact ForeknowledgeJim Doran. 528-542 [doi]
- Self-organisation in Holonic Multiagent SystemsKlaus Fischer. 543-563 [doi]