© 2005

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

  • Dieter Hutter
  • Werner Stephan

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2605)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2605)

Table of contents

  1. Front Matter
  2. A Portrait of a Scientist: Logic, AI and Politics

    1. Dieter Hutter, Werner Stephan
      Pages 1-13
  3. Logic and Deduction

    1. Peter B. Andrews
      Pages 14-29
    2. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
      Pages 46-58
    3. Howard Barringer, Dov Gabbay, John Woods
      Pages 59-98
    4. Christoph Beierle, Gabriele Kern-Isberner
      Pages 99-119
    5. Wolfgang Bibel
      Pages 120-131
    6. Dimitri Chubarov, Andrei Voronkov
      Pages 132-138
    7. Manfred Kerber
      Pages 139-153
    8. Manfred Schmidt-Schauß
      Pages 154-168
    9. Wilfried Sieg, Saverio Cittadini
      Pages 169-191
    10. Larry Wos
      Pages 204-227
  4. Applications of Logics

    1. Franz Baader, Ian Horrocks, Ulrike Sattler
      Pages 228-248
    2. Peter Baumgartner, Ulrich Furbach
      Pages 249-267
    3. Johan van Benthem
      Pages 268-276
    4. Christoph Benzmüller, Andreas Meier, Volker Sorge
      Pages 277-296
    5. Mateja Jamnik, Alan Bundy
      Pages 321-341

About this book


By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann.

The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.


AI logics Erfüllbarkeitsproblem der Aussagenlogik Jad algorithms artificial intelligence automated deduction automated reasoning computer aided verification formal verification mathematical reasoning robot semantic web software security theorem proving verification

Editors and affiliations

  • Dieter Hutter
    • 1
  • Werner Stephan
    • 2
  1. 1.DFKISaarbrückenGermany
  2. 2.German Research Center for Artificial Intelligence, DFKI GmbH 

Bibliographic information