Articoli correlati a Foundations of Equational Logic Programming: 353
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 354051533X
- ISBN 13 9783540515333
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine268
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Légères...
Visualizza questo articolo
EUR 3,30
EUR 8,50 per la spedizione da Francia a U.S.A.
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 38,71
EUR 3,57 per la spedizione in U.S.A.
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Foundations of Equational Logic Programming: 353
Foto dell'editore
Foundations of Equational Logic Programming
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1989
ISBN 10: 354051533X
ISBN 13: 9783540515333
Antico o usato
Softcover
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-598-218
Quantità: 1 disponibili
Foto dell'editore
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020168896
Quantità: Più di 20 disponibili
Foto dell'editore
Foundations of Equational Logic Programming
Editore:
Springer Berlin Heidelberg, 1989
ISBN 10: 354051533X
ISBN 13: 9783540515333
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 264 | Sprache: Englisch | Produktart: Bücher. Codice articolo 3938944/2
Quantità: 1 disponibili
Foto dell'editore
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540515333_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Foundations of Equational Logic Programming
Editore:
Springer Berlin Heidelberg Okt 1989, 1989
ISBN 10: 354051533X
ISBN 13: 9783540515333
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540515333
Quantità: 2 disponibili
Immagini fornite dal venditore
Foundations of Equational Logic Programming
Editore:
Springer Berlin Heidelberg, 1989
ISBN 10: 354051533X
ISBN 13: 9783540515333
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783540515333
Quantità: 1 disponibili
Immagini fornite dal venditore
Foundations of Equational Logic Programming
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 4892010
Quantità: Più di 20 disponibili
Foto dell'editore
Foundations of Equational Logic Programming (Lecture Notes in Computer Science, 353)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. Like New. book. Codice articolo ERICA790354051533X6
Quantità: 1 disponibili