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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Mihaiela Lupea
Formato: Artigo
Idioma:English
Publicado em: Babes-Bolyai University, Cluj-Napoca 2010-12-01
coleção:Studia Universitatis Babes-Bolyai: Series Informatica
Acesso em linha:http://www.cs.ubbcluj.ro/apps/reviste/index.php/studia-i/article/view/5