60. Birthday:
Jörg H. Siekmann 2005
Dieter Hutter, Werner Stephan (Eds.):
Mechanizing Mathematical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday.
Lecture Notes in Computer Science 2605 Springer 2005, ISBN 3-540-25051-4 BibTeX
Logic and Deduction
- Peter B. Andrews:
Some Reflections on Proof Transformations.
14-29
Electronic Edition (link) BibTeX
- Alessandro Armando, Luca Compagna, Silvio Ranise:
Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.
30-45
Electronic Edition (link) BibTeX
- Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella:
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective.
46-58
Electronic Edition (link) BibTeX
- Howard Barringer, Dov M. Gabbay, John Woods:
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.
59-98
Electronic Edition (link) BibTeX
- Christoph Beierle, Gabriele Kern-Isberner:
Footprints of Conditionals.
99-119
Electronic Edition (link) BibTeX
- Wolfgang Bibel:
Time for Thinking Big in AI.
120-131
Electronic Edition (link) BibTeX
- Dimitri Chubarov, Andrei Voronkov:
Solving First-Order Constraints over the Monadic Class.
132-138
Electronic Edition (link) BibTeX
- Manfred Kerber:
From MKRP to Omega.
139-153
Electronic Edition (link) BibTeX
- Manfred Schmidt-Schauß:
Decidable Variants of Higher-Order Unification.
154-168
Electronic Edition (link) BibTeX
- Wilfried Sieg, Saverio Cittadini:
Normal Natural Deduction Proofs (in Non-classical Logics).
169-191
Electronic Edition (link) BibTeX
- Claus-Peter Wirth:
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
192-203
Electronic Edition (link) BibTeX
- Larry Wos:
The Flowering of Automated Reasoning.
204-227
Electronic Edition (link) BibTeX
Applications of Logics
Formal Methods and Security
Agents and Planning
Copyright © Sat May 16 22:59:40 2009
by Michael Ley (ley@uni-trier.de)
