Technology
Theme
Author
Conference
Journal
Publisher
Source
If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."
However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …
In this paper, we describe KoMeT, a theorem prover for full first order logic. KoMeT is based on the connection method. Our main goal is to develop an adequate proof procedure by integrating a variety of different proof techniques.