15 search results - page 1 / 3 » The Modal Logic S4F, the Default Logic, and the Logic Here-a... |
AAAI
2007
14 years 1 months ago
2007
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
AAAI
1990
14 years 2 days ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
CORR
2000
Springer
13 years 10 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
IJCAI
2007
14 years 10 days ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...