Nonmonotonic Skeptical Consequence Relation in Constrained Default Logic
This paper presents a study of the nonmonotonic consequence relation which models the skeptical reasoning formalised by constrained default logic. The nonmonotonic skeptical consequence relation is defined using the sequent calculus axiomatic system. We study the formal properties desirable for a go...
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
Babes-Bolyai University, Cluj-Napoca
2010-12-01
|
| سلاسل: | Studia Universitatis Babes-Bolyai: Series Informatica |
| الوصول للمادة أونلاين: | http://www.cs.ubbcluj.ro/apps/reviste/index.php/studia-i/article/view/5 |