• Produktbild: Intellectics and Computational Logic
  • Produktbild: Intellectics and Computational Logic
Band 19

Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel

Aus der Reihe Applied Logic Series

Fr. 192.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2000

Herausgeber

Steffen Hölldobler

Verlag

Springer Netherland

Seitenzahl

388

Maße (L/B/H)

24.1/16/2.7 cm

Gewicht

1640 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-6261-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2000

Herausgeber

Steffen Hölldobler

Verlag

Springer Netherland

Seitenzahl

388

Maße (L/B/H)

24.1/16/2.7 cm

Gewicht

1640 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-6261-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Intellectics and Computational Logic
  • Produktbild: Intellectics and Computational Logic
  • Preface; S. Hölldobler. Prologue; C. Kreitz. A Confluent Connection Calculus; P. Baumgartner, et al. Prioritizing Default Logic; G. Brewka, T. Eiter. A Connection Calculus for Handling Incomplete Information; S. Brüning, T. Schaub. The Connection Method, Constraints and Model Building; R. Caferra, N. Peltier. Towards a Logical Characterisation of Sentences of the Kind `Sentence p is About Object c'; R. Demolombe, L.F. del Cerro. The Cut Rule in Theorem Proving; E. Eder. Some Strengths of Nonmonotonic Reasoning; Uwe Egly, H. Tompits. Composing Re-usable Synthesis Methods through Graph-based Viewpoints; J. Eusterbrock. Proof Structures and Matrix Graphs; B. Fronhöfer. AI and Cognitive Science: Feedback Leads to a New Neural Concept; C. Herrmann. Matrix-based Constructive Theorem Proving; C. Kreitz, et al. Complex Plans in the Fluent Calculus; S. Hölldobler, H.-P. Störr. Querying AOL Knowledge Bases; G. Lakemeyer, H.J. Levesque. Properties and Relations of Tableau and Connection Calculi; R. Letz. Concepts in Proof Planning; E. Melis, J.H. Siekmann. Proof = Guarantee + Explanation; J.A. Robinson. Automated Theorem Proving in High-Quality Software Design; J. Schumann. A Complete Neural Network Algorithm for HORN-SAT; A. Strohmaier. Nondeterministic Acions in the Fluent Calculus: Disjunctive State Update Axioms; M. Thielscher. The Illusion of Knowledge; C. Wagner. Criteria for Termination; C. Walther. Epilogue; C. Kreitz.