1917 search results - page 59 / 384 » Experimenting with Nonmonotonic Reasoning |
116
click to vote
IJCAI
1989
15 years 1 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...
110
click to vote
KR
1992
Springer
15 years 4 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...
97
Voted
IJCAI
1997
15 years 2 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...
110
Voted
SEMWEB
2004
Springer
15 years 6 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...
84
Voted
ARTMED
2006
15 years 22 days 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...