Articoli correlati a From Logic to Logic Programming

Doets, Kees From Logic to Logic Programming ISBN 13: 9780262041423

From Logic to Logic Programming - Rilegato

 
9780262041423: From Logic to Logic Programming

Sinossi

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains elegant versions and proofs of the fundamental theorems and lemmas in the proof theory of logic programming. Advanced topics such as recursive complexity and negation as failure and its semantics are covered, and streamlined setups for SLD- and SLDNF-resolution are described.No other book treats this material in such detail and with such sophistication. Doets provides a novel approach to resolution that is applied to the first-order case and the case of (positive) logic programs. In contrast to the usual approach, the concept of a resolvent is defined nonconstructively, without recourse to the concept of unification, allowing the soundness and completeness proofs to be carried out in a more economic way. Other new material includes computability results dealing with analytical hierarchy, results on infinite derivations and an exposition on general logic programs using 3-valued logic.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Doets Kees

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreMit Pr
  • Data di pubblicazione1994
  • ISBN 10 0262041421
  • ISBN 13 9780262041423
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero di pagine228
  • Contatto del produttorenon disponibile

Compra usato

Condizioni: molto buono
Unmarked hardcover no jacket.
Visualizza questo articolo

EUR 24,99 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Risultati della ricerca per From Logic to Logic Programming

Foto dell'editore

Doets, Kees
Editore: Mit Pr, 1994
ISBN 10: 0262041421 ISBN 13: 9780262041423
Antico o usato Rilegato

Da: My Dead Aunt's Books, Hyattsville, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

hardcover. Condizione: Very Good. Condizione sovraccoperta: NONE. Unmarked hardcover no jacket. Codice articolo 141451

Contatta il venditore

Compra usato

EUR 17,75
Convertire valuta
Spese di spedizione: EUR 24,99
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello