Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 2005

Mechanizing Mathematical Reasoning

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

Editors:

  1. Dieter Hutter

    1. DFKI, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Werner Stephan

    1. German Research Center for Artificial Intelligence, DFKI GmbH,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Sections

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (31 chapters)

  1. Front Matter

    PDF

  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

    3. SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective

      • Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
      Pages 46-58

    4. Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology

      • Howard Barringer, Dov Gabbay, John Woods
      Pages 59-98

    5. Footprints of Conditionals

      • Christoph Beierle, Gabriele Kern-Isberner
      Pages 99-119

    6. Time for Thinking Big in AI

      • Wolfgang Bibel
      Pages 120-131

    7. Solving First-Order Constraints over the Monadic Class

      • Dimitri Chubarov, Andrei Voronkov
      Pages 132-138

    8. From MKRP to ΩMEGA

      • Manfred Kerber
      Pages 139-153

    9. Decidable Variants of Higher-Order Unification

      • Manfred Schmidt-Schauß
      Pages 154-168

    10. Normal Natural Deduction Proofs (in Non-classical Logics)

      • Wilfried Sieg, Saverio Cittadini
      Pages 169-191

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

    6. Psychological Validity of Schematic Proofs

      • Mateja Jamnik, Alan Bundy
      Pages 321-341
Back to top

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.

Back to top

Keywords

Back to top

Editors and Affiliations

  • DFKI, Saarbrücken, Germany

    Dieter Hutter

  • German Research Center for Artificial Intelligence, DFKI GmbH,  

    Werner Stephan

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation