4617 search results - page 235 / 924 » Automation of Diagrammatic Reasoning |
167
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
146
click to vote
ICCBR
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we propose a large case-based reasoner for the legal domain. Analyzing legal texts for indexing purposes makes the implementation of large case bases a complex task. ...
139
click to vote
EWCBR
2000
Springer
15 years 10 months ago
2000
Springer
Collaborative filtering systems make recommendations based on the accumulation of ratings by many users. The process has a case-based reasoning flavor: recommendations are generate...
217
click to vote
ICLP
1995
Springer
15 years 10 months ago
1995
Springer
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
182
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...