• 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

144,99 € UVP 164,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.12.2010

Abbildungen

XI, 388 p.

Herausgeber

Steffen Hölldobler

Verlag

Springer Netherland

Seitenzahl

388

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

610 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5438-8

Beschreibung

Portrait

Dr. Steffen Hölldobler ist wissenschaftlicher Mitarbeiter am Fachbereich Informatik.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

15.12.2010

Abbildungen

XI, 388 p.

Herausgeber

Steffen Hölldobler

Verlag

Springer Netherland

Seitenzahl

388

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

610 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5438-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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.