KR
1992
Springer
14 years 3 months ago
1992
Springer
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
KR
1992
Springer
14 years 3 months ago
1992
Springer
An algorithm is presented which eliminates second
KR
1992
Springer
14 years 3 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...
KR
1992
Springer
14 years 3 months ago
1992
Springer
TARK
1994
Springer
14 years 3 months ago
1994
Springer
ICLP
1992
Springer
14 years 3 months ago
1992
Springer
CFT is a new constraint system providing records as logical data structure for constraint (logic) programming. It can be seen as a generalization of the rational tree system emplo...
ICLP
1992
Springer
14 years 3 months ago
1992
Springer
ICLP
1992
Springer
14 years 3 months ago
1992
Springer
ICLP
1992
Springer
14 years 3 months ago
1992
Springer
ICLP
1992
Springer
14 years 3 months ago
1992
Springer