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
Référence Artificial intelligence, 143, 1, page (79-122)
Publication Publié, 2003-01
Article révisé par les pairs
Titre: |
|
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 |