Wos, L.
Information about AI from the News, Publications, and Conferences
Automatic Classification – Tagging and Summarization – Customizable Filtering and Analysis
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) …
Automated Reasoning: Introduction and Applications
Wos, L. | Overbeek, R. | Lusk, E. | Boyle, J.
McGraw-Hill
Paramodulation and set of support
Wos, L. | Robinson, G.
In Proc. IRIA Symposium on Automatic Demonstration, pp. 276–310.
Efficiency and completeness of the set-of-support strategy in theorem proving
Wos, L. | Carson, D. | Robinson, G.
Get Citation Alerts New Citation Alert added!