ar for abstract concepts, and a number of formally expressed, structural restrictions. Copyright c 2008, Association for the Advancement of Artificial Intelligence (www.aaai.org). ...
The Web has emerged as a huge information repository that can be used for various knowledge based applications, an important one being Question Answering (QA). The paper discusses...
This paper traces the development of RAW, a system combining a tool and a process for capturing and conveying audiovisual impressions of everyday life. The project aims to enable ...
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
Jethro Borsje, Leonard Levering, Flavius Frasincar
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...