11436 search results - page 184 / 2288 » Modeling Real Reasoning |
124
click to vote
ASP
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
112
click to vote
DLOG
2003
15 years 4 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
126
click to vote
AAAI
1990
15 years 4 months ago
1990
A case-based reasoner can frequently benefit from using pieces of multiple previous cases in the course of solving a single problem. In our model, case pieces, called snippets, ar...
SMA
2006
ACM
15 years 9 months ago
2006
ACM
