Vor Ort
Merkzettel Warenkorb
  • Produktbild: The Resolution Calculus
  • Produktbild: The Resolution Calculus

The Resolution Calculus

Aus der Reihe Texts in Theoretical Computer Science. An EATCS Series

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.09.2011

Verlag

Springer Berlin

Seitenzahl

300

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-3-642-64473-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.09.2011

Verlag

Springer Berlin

Seitenzahl

300

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

Softcover reprint of the original 1st ed. 1997

Sprache

Englisch

ISBN

978-3-642-64473-3

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: The Resolution Calculus
  • Produktbild: The Resolution Calculus
  • The Basis of the Resolution Calculus.- First-Order Logic.- Transformation to Clause Form.- Term Models and Herbrand’s Theorem.- Decision Methods for Sets of Ground Clauses.- 2.4.1 Gilmore’s Method.- 2.4.2 The Method of Davis and Putnam.- The Propositional Resolution Principle.- Substitution and Unification.- The General Resolution Principle.- A Comparison of Different Resolution Concepts.- 3. Refinements of Resolution.- A Formal Concept of Refinement.- Normalization of Clauses.- Refinements Based on Atom Orderings.- Lock Resolution.- Linear Refinements.- Hyperresolution.- Refinements: A Short Overview.- 4. Redundancy and Deletion.- The Problem of Proof Search.- The Subsumption Principle.- Subsumption Algorithms.- The Elimination of Tautologies.- Clause Implication.- 5. Resolution as Decision Procedure.- The Decision Problem.- A-Ordering Refinements as Decision Procedures.- Hyperresolution as Decision Procedure.- Hyperresolution and Automated Model Building.- 6. On the Complexity of Resolution.- Herbrand Complexity and Proof Length.- Extension and the Use of Lemmas.- Structural Normalization.- Functional Extension.