3970 search results - page 36 / 794 » A Logic For Causal Reasoning |
134
Voted
DLOG
2007
15 years 6 months ago
2007
126
click to vote
DLOG
2007
15 years 6 months ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
130
Voted
CADE
2001
Springer
16 years 4 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...
109
Voted
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we extend Defeasible Logic (a computationally-oriented non-monotonic logic) in order to deal with temporalised rules. In particular, we extend the logic to cope with...
124
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...