11436 search results - page 184 / 2288 » Modeling Real Reasoning |
176
click to vote
ASP
2003
Springer
16 years 7 days 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 ...
170
click to vote
DLOG
2003
15 years 8 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...
182
click to vote
AAAI
1990
15 years 8 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...
156
Voted
ANSS
2008
IEEE
16 years 1 months ago
2008
IEEE
135
Voted
SMA
2006
ACM
16 years 28 days ago
2006
ACM
