Articoli correlati a Reasoning with Logic Programming: 1111
Sinossi
As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.
The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Normal logic programs.- Extended logic programs.- Why a new semantics for extended programs?.- WFSX — A well founded semantics for extended logic programs.- WFSX, LP semantics with two negations, and autoepistemic logics.- WFSX and default logic.- WFSX and hypotheses abduction.- Dealing with contradiction.- Further properties and comparisons.- Top-down derivation procedures for WFSX.- Application to classical nonmonotonic reasoning problems.- Application to diagnosis and debugging.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 44,29
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Reasoning with Logic Programming: 1111
Foto dell'editore
Reasoning With Logic Programming
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-268115
Quantità: 1 disponibili
Foto dell'editore
Reasoning With Logic Programming
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-274899
Quantità: 1 disponibili
Immagini fornite dal venditore
Reasoning with 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. As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming. Codice articolo 4895630
Quantità: Più di 20 disponibili
Foto dell'editore
Reasoning with Logic Programming
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 360. Codice articolo 26302111
Quantità: 1 disponibili
Foto dell'editore
Reasoning with Logic Programming
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Used. pp. 360 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 7545792
Quantità: 1 disponibili
Foto dell'editore
Reasoning with Logic Programming
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Used. pp. 360. Codice articolo 18302101
Quantità: 1 disponibili
Immagini fornite dal venditore
Reasoning with Logic Programming
Editore:
Springer Berlin Heidelberg, 1996
ISBN 10: 3540614885
ISBN 13: 9783540614883
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 - As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples. Codice articolo 9783540614883
Quantità: 1 disponibili
Immagini fornite dal venditore
Reasoning with Logic Programming
Editore:
Springer Berlin Heidelberg Jul 1996, 1996
ISBN 10: 3540614885
ISBN 13: 9783540614883
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -As the first monograph in the field, this state-of-the-art survey provides a rigorous presentation of logic programs as representational and reasoning tools.The authors used this book successfully as a text for a MSc course. The use of logic programming for various types of reasoning, particularly for nonmonotonic reasoning, is thoroughly investigated and illustrated and a variety of knowledge representation formalisms, like default negation, integrity constraints, default rules, etc., are treated in depth. Besides the main text, detailed introductory background and motivational information is included together with a bibliography listing 215 entries as well as the listing of the Prolog interpreter used in the text for running numerous examples.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 360 pp. Englisch. Codice articolo 9783540614883
Quantità: 1 disponibili
Foto dell'editore
Reasoning with Logic Programming (Lecture Notes in Computer Science, 1111)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540614883_new
Quantità: Più di 20 disponibili
Foto dell'editore
Reasoning with Logic Programming
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540614883
Quantità: 10 disponibili