442 search results - page 51 / 89 » Knowledge Representation Using High-Level Non-monotonic Reas... |
AMAI
2004
Springer
14 years 1 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
KR
1992
Springer
13 years 11 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
AAAI
2006
13 years 9 months ago
2006
The use of large quantities of common sense has long been thought to be critical to the automated understanding of the world. To this end, various groups have collected repositori...
RWEB
2009
Springer
14 years 2 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
ICCBR
1999
Springer
14 years 8 hour ago
1999
Springer
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...