431 search results - page 17 / 87 » R-calculus: A Logical Approach for Knowledge Base Maintenanc... |
DLOG
2004
13 years 10 months ago
2004
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
APAL
2005
13 years 8 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
FUIN
2007
13 years 8 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
DOCENG
2007
ACM
14 years 17 days ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
SEMWEB
2009
Springer
14 years 1 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...