Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday > Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday |
Dieter Hutter; Werner Stephan
Springer Berlin Heidelberg
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology
Authors

Howard Barringer; Dov Gabbay; John Woods

ARI Id

1674219907261_3661678

Access

Not Available Free

Pages

59-98

DOI

10.1007/978-3-540-32254-2_5

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-32254-2_5

Table of Contents of Book
Showing 1 to 20 of 33 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
A Portrait of a Scientist: Logic, AI and Politics
Dieter Hutter; Werner Stephan
1-13
Some Reflections on Proof Transformations
Peter B. Andrews
14-29
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation
Alessandro Armando; Luca Compagna; Silvio Ranise
30-45
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Alessandro Armando; Claudio Castellini; Enrico Giunchiglia; Fausto Giunchiglia; Armando Tacchella
46-58
Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology
Howard Barringer; Dov Gabbay; John Woods
59-98
Footprints of Conditionals
Christoph Beierle; Gabriele Kern-Isberner
99-119
Time for Thinking Big in AI
Wolfgang Bibel
120-131
Solving First-Order Constraints over the Monadic Class
Dimitri Chubarov; Andrei Voronkov
132-138
From MKRP to ΩMEGA
Manfred Kerber
139-153
Decidable Variants of Higher-Order Unification
Manfred Schmidt-Schauß
154-168
Normal Natural Deduction Proofs (in Non-classical Logics)
Wilfried Sieg; Saverio Cittadini
169-191
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
Claus-Peter Wirth
192-203
The Flowering of Automated Reasoning
Larry Wos
204-227
Description Logics as Ontology Languages for the Semantic Web
Franz Baader; Ian Horrocks; Ulrike Sattler
228-248
Living Books, Automated Deduction and Other Strange Things
Peter Baumgartner; Ulrich Furbach
249-267
An Essay on Sabotage and Obstruction
Johan van Benthem
268-276
Bridging Theorem Proving and Mathematical Knowledge Retrieval
Christoph Benzmüller; Andreas Meier; Volker Sorge
277-296
Formal Description of Natural Languages: An HPSG Grammar of Polish
Leonard Bolc
297-320
Psychological Validity of Schematic Proofs
Mateja Jamnik; Alan Bundy
321-341
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 33 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings