Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985. ,
DOI : 10.1080/00048408412341331
Preemption operators, The 20th European Conference on Artificial Intelligence, pp.893-894, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00867922
Enforcing Logically Weaker Knowledge in Classical Logic, KSEM, Lecture Notes in Computer Science, pp.44-55, 2011. ,
DOI : 10.1007/978-3-642-25975-3_5
URL : https://hal.archives-ouvertes.fr/hal-00871098
On the semantics of supernormal defaults, Thirteenth International Joint Conference on Artificial Intelligence (IJCAI'93), pp.578-583, 1993. ,
A survey of multiple contractions, Journal of Logic, Language and Information, vol.16, issue.1, pp.39-76, 1994. ,
DOI : 10.1007/BF01066356
A logic for default reasoning, Artificial Intelligence, vol.13, issue.1-2, pp.81-132, 1980. ,
DOI : 10.1016/0004-3702(80)90014-4