Articoli correlati a Theory Reasoning in Connection Calculi: 1527
Sinossi
The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners.
Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Introduction.- Logical Background.- Tableau Model Elimination.- Theory Reasoning in Connection Calculi.- Linearizing Completion.- Implementation.- Conclusions.- A. Appendix: Proofs.- B. What is Where?- List of Figures.- Bibliography.- Index.
Product Description
Book by Baumgartner Peter
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540655093
- ISBN 13 9783540655091
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine300
Compra nuovo
Visualizza questo articolo
EUR 54,50
EUR 3,55 per la spedizione in U.S.A.
Destinazione, tempi e costiRisultati della ricerca per Theory Reasoning in Connection Calculi: 1527
Immagini fornite dal venditore
Theory Reasoning in Connection Calculi
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 918237
Quantità: Più di 20 disponibili
Foto dell'editore
Theory Reasoning in Connection Calculi (Lecture Notes in Computer Science, 1527)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020173798
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theory Reasoning in Connection Calculi
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 918237-n
Quantità: Più di 20 disponibili
Foto dell'editore
Theory Reasoning in Connection Calculi (Lecture Notes in Computer Science, 1527)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540655091_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theory Reasoning in Connection Calculi
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition. Codice articolo 918237
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theory Reasoning in Connection Calculi
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 918237-n
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theory Reasoning in Connection Calculi
Editore:
Springer Berlin Heidelberg, 1998
ISBN 10: 3540655093
ISBN 13: 9783540655091
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 - The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners.Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered. Codice articolo 9783540655091
Quantità: 1 disponibili
Immagini fornite dal venditore
Theory Reasoning in Connection Calculi
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. The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specia. Codice articolo 4897249
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Theory Reasoning in Connection Calculi
Editore:
Springer Berlin Heidelberg Dez 1998, 1998
ISBN 10: 3540655093
ISBN 13: 9783540655091
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 -The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners.Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered. 300 pp. Englisch. Codice articolo 9783540655091
Quantità: 2 disponibili