Book Volume 2605 2005

Mechanizing Mathematical Reasoning

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

Editors:

ISBN: 978-3-540-25051-7 (Print) 978-3-540-32254-2 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

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

    1. No Access

      Chapter

      Pages 1-13

      A Portrait of a Scientist: Logic, AI and Politics

  3. Logic and Deduction

    1. No Access

      Chapter

      Pages 14-29

      Some Reflections on Proof Transformations

    2. No Access

      Chapter

      Pages 30-45

      Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation

    3. No Access

      Chapter

      Pages 46-58

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

    4. No Access

      Chapter

      Pages 59-98

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

    5. No Access

      Chapter

      Pages 99-119

      Footprints of Conditionals

    6. No Access

      Chapter

      Pages 120-131

      Time for Thinking Big in AI

    7. No Access

      Chapter

      Pages 132-138

      Solving First-Order Constraints over the Monadic Class

    8. No Access

      Chapter

      Pages 139-153

      From MKRP to ΩMEGA

    9. No Access

      Chapter

      Pages 154-168

      Decidable Variants of Higher-Order Unification

    10. No Access

      Chapter

      Pages 169-191

      Normal Natural Deduction Proofs (in Non-classical Logics)

    11. No Access

      Chapter

      Pages 192-203

      History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!

    12. No Access

      Chapter

      Pages 204-227

      The Flowering of Automated Reasoning

  4. Applications of Logics

    1. No Access

      Chapter

      Pages 228-248

      Description Logics as Ontology Languages for the Semantic Web

    2. No Access

      Chapter

      Pages 249-267

      Living Books, Automated Deduction and Other Strange Things

    3. No Access

      Chapter

      Pages 268-276

      An Essay on Sabotage and Obstruction

    4. No Access

      Chapter

      Pages 277-296

      Bridging Theorem Proving and Mathematical Knowledge Retrieval

    5. No Access

      Chapter

      Pages 297-320

      Formal Description of Natural Languages: An HPSG Grammar of Polish

    6. No Access

      Chapter

      Pages 321-341

      Psychological Validity of Schematic Proofs

    7. No Access

      Chapter

      Pages 342-363

      Natural Language Proof Explanation

previous Page of 2