180 search results - page 8 / 36 » A Default Logic Patch for Default Logic |
IJCAI
2003
13 years 9 months ago
2003
In first-order logic, a theory T1 is considered stronger than another theory T2 if every formula
KR
1992
Springer
13 years 11 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...
ECAI
1994
Springer
13 years 11 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
AI
2000
Springer
13 years 7 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
AMAST
2000
Springer
13 years 12 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...