Advertisement

Mechanizing Mathematical Reasoning

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

  • Dieter Hutter
  • Werner Stephan
Book

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
    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
    2. Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
      Alessandro Armando, Luca Compagna, Silvio Ranise
      Pages 30-45
    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
    11. History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
      Claus-Peter Wirth
      Pages 192-203
    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
    5. Formal Description of Natural Languages: An HPSG Grammar of Polish
      Leonard Bolc
      Pages 297-320
    6. Psychological Validity of Schematic Proofs
      Mateja Jamnik, Alan Bundy
      Pages 321-341
    7. Natural Language Proof Explanation
      Armin Fiedler
      Pages 342-363
    8. Why Proof Planning for Maths Education and How?
      Erica Melis
      Pages 364-378

  5. Formal Methods and Security

    1. Towards MultiMedia Instruction in Safe and Secure Systems
      Bernd Krieg-Brückner
      Pages 379-395
    2. The Impact of Models in Software Development
      Manfred Broy
      Pages 396-406
    3. Formal Software Development in MAYA
      Dieter Hutter, Serge Autexier
      Pages 407-432
    4. A Unification Algorithm for Analysis of Protocols with Blinded Signatures
      Deepak Kapur, Paliath Narendran, Lida Wang
      Pages 433-451
    5. Exploiting Generic Aspects of Security Models in Formal Developments
      Heiko Mantel, Axel Schairer
      Pages 452-475
    6. Verification Support Environment
      Werner Stephan, Bruno Langenstein, Andreas Nonnengart, Georg Rock
      Pages 476-493

  6. Agents and Planning

    1. SAT-Based Cooperative Planning: A Proposal
      Marco Benedetti, Luigia Carlucci Aiello
      Pages 494-513
    2. Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
      Michael Beetz
      Pages 514-527
    3. Agents with Exact Foreknowledge
      Jim Doran
      Pages 528-542
    4. Self-organisation in Holonic Multiagent Systems
      Klaus Fischer
      Pages 543-563
  7. Back Matter
    PDF

About this book

Introduction

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

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

Bibliographic information

  • DOI https://doi.org/10.1007/b106663
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25051-7
  • Online ISBN 978-3-540-32254-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering