This paper presents a method of formally representing the information that is available to a user of a relational database. The intended application area is deductive question-answering systems that must access an existing relational database
In the past 20 years, AI researchers in knowledge representation (KR) have implemented over 50 frame knowledge representation systems (FRSs). KR researchers have explored a large and surprisingly diverse space of alternative FRS designs.
Researchers using epistemic logic as a formal framework for studying knowledge properties of artificial-intelligence (AI) systems often interpret the knowledge formula to mean that machine encodes in its state as a syntactic formula or can derive it inferentially.
There exists a large body of Artificial Intelligence (AI) research on generating plans, i.e., linear or nonlinear sequences of actions, to transform an initial world state to some desired goal state. However, much of the planning research to date has been complicated, ill-understood, and unclear.
Jerome F. Thomere, Vinay K. Chaudhri, & Peter Karp
This document describes a language for ontology exchange. The language, called XOL, is designed to provide a format for exchanging ontology definitions among a set of interested parties.
W. Neuenschwander, Pascal V. Fua, G. Szekely, & O. Kubler
We propose a snake-based approach that lets a user specify only the distant endpoints of the curve he wishes to delineate without having to supply an almost complete polygonal approximation. We greatly simplify the initialization process and achieve much better convergence properties...
