1917 search results - page 59 / 384 » Experimenting with Nonmonotonic Reasoning |
IJCAI
1989
13 years 11 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
KR
1992
Springer
14 years 2 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
IJCAI
1997
13 years 11 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
SEMWEB
2004
Springer
14 years 3 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
ARTMED
2006
13 years 10 months ago
2006
The Health Sciences provide a lively niche for case based reasoning applications. The main justification for this is that case based reasoning is a unique methodology in artificial...