• Produktbild: Intellectics and Computational Logic
  • Produktbild: Intellectics and Computational Logic
Band 19 - 12%

Intellectics and Computational Logic Papers in Honor of Wolfgang Bibel

Aus der Reihe Applied Logic Series
12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2000

Abbildungen

XI, 388 p.

Herausgeber

Steffen Hölldobler

Verlag

Springer Netherland

Seitenzahl

388

Maße (L/B/H)

24,1/16/2,7 cm

Gewicht

770 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-6261-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.04.2000

Abbildungen

XI, 388 p.

Herausgeber

Steffen Hölldobler

Verlag

Springer Netherland

Seitenzahl

388

Maße (L/B/H)

24,1/16/2,7 cm

Gewicht

770 g

Auflage

2000

Sprache

Englisch

ISBN

978-0-7923-6261-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • Prologue.- A Confluent Connection Calculus.- Prioritizing Default Logic.- A Connection Calculus for Handling Incomplete Information.- The Connection Method, Constraints and Model Building.- Towards a Logical Characterisation of Sentences of the Kind “Sentence p is About Object c”.- The Cut Rule in Theorem Proving.- Some Strengths of Nonmonotonic Reasoning.- Composing Re-usable Synthesis Methods through Graph-based Viewpoints.- Proof Structures and Matrix Graphs.- AI and Cognitive Science: Feedback Leads to a New Neural Concept.- Matrix-based Constructive Theorem Proving.- Complex Plans in the Fluent Calculus.- Querying AOL Knowledge Bases.- Properties and Relations of Tableau and Connection Calculi.- Concepts in Proof Planning.- Proof = Guarantee + Explanation.- Automated Theorem Proving in High-Quality Software Design.- A Complete Neural Network Algorithm for HORN-SAT.- Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms.- The Illusion of Knowledge.- Criteria for Termination.- Epilogue.