| A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan |
| Logic and Deduction |
| Some Reflections on Proof Transformations / Peter B. Andrews |
| Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation / Alessandro Armando ; Luca Compagna ; Silvio Ranise |
| SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective / Claudio Castellini ; Enrico Giunchiglia ; Fausto Giunchiglia ; Armando Tacchella |
| Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology / Howard Barringer ; Dov Gabbay ; John Woods |
| Footprints of Conditionals / Christoph Beierle ; Gabriele Kern-Isberner |
| Time for Thinking Big in AI / Wolfgang Bibel |
| Solving First-Order Constraints over the Monadic Class / Dimitri Chubarov ; Andrei Voronkov |
| From MKRP to Ω mega / Manfred Kerber |
| Decidable Variants of Higher-Order Unification / Manfred Schmidt-Schauß |
| Normal Natural Deduction Proofs (in Non-classical Logics) / Wilfried Sieg ; Saverio Cittadini |
| History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie! / Claus-Peter Wirth |
| The Flowering of Automated Reasoning / Larry Wos |
| Applications of Logics |
| Description Logics as Ontology Languages for the Semantic Web / Franz Baader ; Ian Horrocks ; Ulrike Sattler |
| Living Books, Automated Deduction and Other Strange Things / Peter Baumgartner ; Ulrich Furbach |
| An Essay on Sabotage and Obstruction / Johan van Benthem |
| Bridging Theorem Proving and Mathematical Knowledge Retrieval / Christoph Benzmuller ; Andreas Meier ; Volker Sorge |
| Formal Description of Natural Languages: An HPSG Grammar of Polish / Leonard Bolc |
| Psychological Validity of Schematic Proofs / Mateja Jamnik ; Alan Bundy |
| Natural Language Proof Explanation / Armin Fiedler |
| Why Proof Planning for Maths Education and How? / Erica Melis |
| Formal Methods and Security |
| Towards MultiMedia Instruction in Safe and Secure Systems / Bernd Krieg-Brückner |
| The Impact of Models in Software Development / Manfred Broy |
| Formal Software Development in MAYA / Serge Autexier |
| A Unification Algorithm for Analysis of Protocols with Blinded Signatures / Deepak Kapur ; Paliath Narendran ; Lida Wang |
| Exploiting Generic Aspects of Security Models in Formal Developments / Heiko Mantel ; Axel Schairer |
| Verification Support Environment / Bruno Langenstein ; Andreas Nonnengart ; Georg Rock |
| Agents and Planning |
| SAT-Based Cooperative Planning: A Proposal / Marco Benedetti ; Luigia Carlucci Aiello |
| Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots / Michael Beetz |
| Agents with Exact Foreknowledge / Jim Doran |
| Self-organisation in Holonic Multiagent Systems / Klaus Fischer |
| Author Index |
| A Portrait of a Scientist: Logic, AI and Politics / Dieter Hutter ; Werner Stephan |
| Logic and Deduction |
| Some Reflections on Proof Transformations / Peter B. Andrews |
ＥＢ
