par Denecker, Marc ;Marek, Victor V.W.;Truszczyński, Mirosław M.S.
Référence Artificial intelligence, 143, 1, page (79-122)
Publication Publié, 2003-01
Article révisé par les pairs
Titre:
  • Uniform semantic treatment of default and autoepistemic logics
Auteur:Denecker, Marc; Marek, Victor V.W.; Truszczyński, Mirosław M.S.
Informations sur la publication:Artificial intelligence, 143, 1, page (79-122)
Statut de publication:Publié, 2003-01
Sujet CREF:Intelligence artificielle
Mots-clés:Approximations
Autoepistemic logic
Default logic
Fixpoint semantics
Lattice operators
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0004-3702
info:doi/10.1016/S0004-3702(02)00293-X
info:pii/S000437020200293X
info:scp/0037216994