2519 search results - page 279 / 504 » Reasoning with Textual Cases |
147
click to vote
AAAI
2006
15 years 8 months ago
2006
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
213
click to vote
DLOG
2006
15 years 8 months ago
2006
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
163
click to vote
FORTE
2004
15 years 8 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
161
click to vote
NIPS
2004
15 years 8 months ago
2004
Areas of the brain involved in various forms of memory exhibit patterns of neural activity quite unlike those in canonical computational models. We show how to use well-founded Ba...
163
Voted
AAAI
1997
15 years 8 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...