Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007997235/catalog> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- catalog abstract "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.".
- catalog contributor b11093354.
- catalog created "c1998.".
- catalog date "1998".
- catalog date "c1998.".
- catalog dateCopyrighted "c1998.".
- catalog description "1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning in Connection Calculi -- 5. Linearizing Completion -- 6. Implementation -- 7. Conclusions -- A. Appendix: Proofs -- What is Where?.".
- catalog description "Includes bibliographical references and index.".
- catalog description "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.".
- catalog extent "ix, 283 p. :".
- catalog identifier "3540655093 (alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1527 Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1527.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1998".
- catalog issued "c1998.".
- catalog language "eng".
- catalog publisher "Berlin : New York : Springer,".
- catalog subject "004/.01/5113 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Automatic theorem proving.".
- catalog subject "Computer science.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA76.9.A96 B38 1998".
- catalog subject "QA76.9.A96 B38 1999".
- catalog tableOfContents "1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning in Connection Calculi -- 5. Linearizing Completion -- 6. Implementation -- 7. Conclusions -- A. Appendix: Proofs -- What is Where?.".
- catalog title "Theory reasoning in connection calculi / Peter Baumgartner.".
- catalog type "text".