Skip to main content
  • Book
  • © 2005

Mechanizing Mathematical Reasoning

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

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-32254-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 149.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (31 chapters)

  1. Front Matter

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

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

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

    1. Some Reflections on Proof Transformations

      • Peter B. Andrews
      Pages 14-29
    2. SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective

      • Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
      Pages 46-58
    3. Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology

      • Howard Barringer, Dov Gabbay, John Woods
      Pages 59-98
    4. Footprints of Conditionals

      • Christoph Beierle, Gabriele Kern-Isberner
      Pages 99-119
    5. Time for Thinking Big in AI

      • Wolfgang Bibel
      Pages 120-131
    6. Solving First-Order Constraints over the Monadic Class

      • Dimitri Chubarov, Andrei Voronkov
      Pages 132-138
    7. From MKRP to ΩMEGA

      • Manfred Kerber
      Pages 139-153
    8. Decidable Variants of Higher-Order Unification

      • Manfred Schmidt-Schauß
      Pages 154-168
    9. Normal Natural Deduction Proofs (in Non-classical Logics)

      • Wilfried Sieg, Saverio Cittadini
      Pages 169-191
    10. The Flowering of Automated Reasoning

      • Larry Wos
      Pages 204-227
  4. Applications of Logics

    1. Description Logics as Ontology Languages for the Semantic Web

      • Franz Baader, Ian Horrocks, Ulrike Sattler
      Pages 228-248
    2. Living Books, Automated Deduction and Other Strange Things

      • Peter Baumgartner, Ulrich Furbach
      Pages 249-267
    3. An Essay on Sabotage and Obstruction

      • Johan van Benthem
      Pages 268-276
    4. Bridging Theorem Proving and Mathematical Knowledge Retrieval

      • Christoph Benzmüller, Andreas Meier, Volker Sorge
      Pages 277-296
    5. Psychological Validity of Schematic Proofs

      • 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.

Keywords

  • 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

  • DFKI, Saarbrücken, Germany

    Dieter Hutter

  • German Research Center for Artificial Intelligence, DFKI GmbH,  

    Werner Stephan

Bibliographic Information

Buying options

eBook USD 109.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-32254-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 149.00
Price excludes VAT (USA)