1943 search results - page 15 / 389 » Ordering Default Theories |
DAM
2008
13 years 8 months ago
2008
This paper presents the axioms of a real time random walk on the set of states of a medium and some of their consequences, such as the asymptotic probabilities of the states. The ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
LICS
1998
IEEE
14 years 21 days ago
1998
IEEE
AAAI
1990
13 years 9 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
KR
2000
Springer
14 years 1 days ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...