76 search results - page 4 / 16 » Ultimate approximations in nonmonotonic knowledge representa... |
KR
1992
Springer
13 years 11 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
KCAP
2005
ACM
14 years 28 days ago
2005
ACM
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
AIM
2006
13 years 7 months ago
2006
In this paper, we show how 4D/RCS incorporates and integrates multiple types of disparate knowledge representation techniques into a common, unifying architecture. 4D/RCS is based...
JANCL
2002
13 years 7 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...