Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1527)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (9 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: Theory Reasoning in Connection Calculi
Authors: Peter Baumgartner
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b71631
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-65509-1Published: 18 December 1998
eBook ISBN: 978-3-540-49210-8Published: 11 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 290
Topics: Robotics and Automation, Theory of Computation, Artificial Intelligence, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations