Inconsistency management and prioritized syntax-based entailment, IJCAI'03, pp.640-647, 1993. ,
Ramón Pino Pérez, Iterated revision by epistemic states: axioms, semantics and syntax, ECAI'00, pp.13-17 ,
Making revision reversible: an approach based on polynomials, Fundamenta Informaticae, vol.533, pp.4-251, 2002. ,
Revising partially ordered belief, Proceedings of the NMR'02, 2002. ,
Revision with partially ordered information in a possibilistic framework, Fuzzy Sets and Systems, pp.25-41, 2004. ,
Revision of partially ordered information, Proceedings of the IJCAI'05, pp.376-381, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00018834
Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases, Proceedings of ECSQARU '09, pp.817-828, 2009. ,
DOI : 10.1007/BF00154005
URL : https://hal.archives-ouvertes.fr/hal-00867216
An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS, Applied Intelligence, vol.41, issue.1???2, pp.60-87, 2010. ,
DOI : 10.1007/s10489-008-0135-x
URL : https://hal.archives-ouvertes.fr/hal-00869357
Remedying inconsistent sets of premises, International Journal of Approximate Reasoning, vol.45, issue.2, pp.308-320, 2007. ,
DOI : 10.1016/j.ijar.2006.06.013
Admissible and restrained revision, Journal of Artificial Intelligence Research, pp.127-151, 2006. ,
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs, Journal of Logic and Computation, vol.9, issue.5, pp.755-782, 2008. ,
DOI : 10.1080/11663081.2000.10511003
URL : http://www.ijcai.org/papers/0747.pdf
Revision sequences and nested conditionals, IJCAI'93, pp.519-531, 1993. ,
Iterated revision and minimal change of conditional beliefs, Journal of Philosophical Logic, vol.25, issue.3, pp.262-305, 1996. ,
DOI : 10.1007/BF00248151
On exact selection of minimally unsatisfiable subformulae, Annals of Mathematics and Artificial Intelligence, vol.158, issue.3, pp.35-40, 2005. ,
DOI : 10.1006/inco.2000.2867
Lagasquie-Schiex, Non-monotonic syntax-based entailment: a classification of consequence relations, Proceedings of ECSQARU'95, LNAI, pp.107-114, 1995. ,
On the logic of iterated belief revision, Artificial Intelligence, vol.89, issue.1-2, pp.1-29, 1997. ,
DOI : 10.1016/S0004-3702(96)00038-0
COBA: a consistency-based belief revision system, in: JELIA'02, pp.509-512, 2002. ,
Iterated revision as prioritized merging, in: KR'06, pp.210-220, 2006. ,
Parallel belief revision, AAAI'08, pp.430-435, 2008. ,
Belief change and possibility theory, Belief Revision, pp.142-182, 1992. ,
DOI : 10.1017/CBO9780511526664.006
A synthetic view of belief revision with uncertain inputs in the framework of possibility theory, International Journal of Approximate Reasoning, vol.17, issue.2-3, pp.295-324, 1997. ,
DOI : 10.1016/S0888-613X(97)00019-4
Knowledge in Flux: Modeling the Dynamics of Epistemic States, 1988. ,
Clasp: a conflict-driven answer set solver, in: LPNMR'07, pp.260-265, 2007. ,
The stable model semantics for logic programming, Proceedings of the ICLP'88, pp.1070-1080, 1988. ,
Defining relative likelihood in partially-ordered structures, UAI'96, pp.299-306, 1996. ,
Removed sets fusion: performing off the shelf, Proceedings of the ECAI'08, 2008. ,
Iterated belief revision, revised, Artificial Intelligence, vol.171, issue.1, pp.1-18, 2007. ,
DOI : 10.1016/j.artint.2006.11.002
URL : https://doi.org/10.1016/j.artint.2006.11.002
Handling partially ordered defaults in TMS, Proceedings of IJCAI'89, pp.1043-1048, 1989. ,
DOI : 10.1007/3-540-54659-6_91
Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, issue.3, pp.263-294, 1991. ,
DOI : 10.1016/0004-3702(91)90069-V
Gestion d'informations partiellement ordonnées: raisonnement, révision et information géographique, 2003. ,
Resolving inconsistencies by variable forgetting, Proceedings of KR'02, pp.239-250, 2002. ,
Belief revision revisited, IJCAI'95, pp.1534-1539, 1995. ,
Forget it!, Proceedings of AAAI'94, pp.154-159, 1994. ,
Iterated belief change based on epistemic entrenchment, Erkenntnis, vol.1, issue.3, pp.353-390, 1994. ,
DOI : 10.1007/BF01130759
Base revision operations and schemes: semantics, representation, and complexity, Proceedings of the 11th European Conference on Artificial Intelligence, pp.341-345, 1994. ,
DOI : 10.1007/978-3-7091-2690-5_11
Logic programs with stable model semantics as a constraint programming paradigm, Annals of Mathematics and Artificial Intelligence, vol.25, pp.3-4, 1999. ,
Iterated Revision Operations Stemming from the History of an Agent???s Observations, Frontiers of Belief Revision, pp.279-301, 2001. ,
DOI : 10.1007/978-94-015-9817-0_14
A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987. ,
DOI : 10.1016/0004-3702(87)90062-2
On inference from inconsistent premisses, Theory and Decision, vol.1, issue.2, pp.179-219, 1970. ,
DOI : 10.1007/BF00154005
WP3R2 application ontology for archaeological information ? specification, Final product, VENUS project, 2009. ,
Extending and implementing the stable model semantics, CoRR, cs, p.5010, 2000. ,
DOI : 10.1016/s0004-3702(02)00187-x
URL : https://doi.org/10.1016/s0004-3702(02)00187-x
Transmutations of Knowledge Systems, KR'94, pp.619-629, 1994. ,
DOI : 10.1016/B978-1-4832-1452-8.50152-4
Iterated theory base change: a computational model, IJCAI'95, pp.1541-1547, 1995. ,
A belief revision system for the world wide web, Proceedings of the IJCAI Workshop of the Future of Artificial Intelligence and the Internet, pp.39-51, 1997. ,
Revision : an application in the framework of GIS, Proceedings of the KR'00, pp.505-516, 2000. ,
A lexicographic inference for partially preordered belief bases, Proceedings of the KR'08, pp.507-516, 2008. ,