Verwandte Artikel zu Foundations of Equational Logic Programming: 353 (Lecture...

Foundations of Equational Logic Programming: 353 (Lecture Notes in Artificial Intelligence) - Softcover

 
9783540515333: Foundations of Equational Logic Programming: 353 (Lecture Notes in Artificial Intelligence)
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:
 
 
Reseña del editor:
Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum1989
  • ISBN 10 354051533X
  • ISBN 13 9783540515333
  • EinbandTapa blanda
  • Anzahl der Seiten264

Weitere beliebte Ausgaben desselben Titels

9780387515335: Foundations of Equational Logic Programming (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  ISBN 13:  9780387515335
Verlag: Springer Verlag, 1990
Softcover

Beste Suchergebnisse bei AbeBooks

Foto des Verkäufers

Hà ¿à ¿lldobler, Steffen
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Soft Cover Anzahl: 10
Anbieter:
booksXpress
(Bayonne, NJ, USA)
Bewertung

Buchbeschreibung Soft Cover. Zustand: new. Bestandsnummer des Verkäufers 9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 37,60
Währung umrechnen

In den Warenkorb

Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Hölldobler, Steffen
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Softcover Anzahl: > 20
Anbieter:
Lucky's Textbooks
(Dallas, TX, USA)
Bewertung

Buchbeschreibung Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020168896

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 39,72
Währung umrechnen

In den Warenkorb

Versand: EUR 3,69
Innerhalb der USA
Versandziele, Kosten & Dauer
Beispielbild für diese ISBN

Steffen HÃ lldobler
Verlag: Springer (1989)
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Softcover Anzahl: > 20
Print-on-Demand
Anbieter:
Ria Christie Collections
(Uxbridge, Vereinigtes Königreich)
Bewertung

Buchbeschreibung Zustand: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Bestandsnummer des Verkäufers ria9783540515333_lsuk

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 41,88
Währung umrechnen

In den Warenkorb

Versand: EUR 11,65
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Steffen Hölldobler
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Taschenbuch Anzahl: 2
Print-on-Demand
Anbieter:
BuchWeltWeit Ludwig Meier e.K.
(Bergisch Gladbach, Deutschland)
Bewertung

Buchbeschreibung Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories. 264 pp. Englisch. Bestandsnummer des Verkäufers 9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 37,44
Währung umrechnen

In den Warenkorb

Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Steffen Hölldobler
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Taschenbuch Anzahl: 1
Anbieter:
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung

Buchbeschreibung Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories. Bestandsnummer des Verkäufers 9783540515333

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 40,57
Währung umrechnen

In den Warenkorb

Versand: EUR 32,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer
Foto des Verkäufers

Steffen Hölldobler
ISBN 10: 354051533X ISBN 13: 9783540515333
Neu Softcover Anzahl: > 20
Print-on-Demand
Anbieter:
moluna
(Greven, Deutschland)
Bewertung

Buchbeschreibung Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational l. Bestandsnummer des Verkäufers 4892010

Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren

Neu kaufen
EUR 35,19
Währung umrechnen

In den Warenkorb

Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer