On the logic of theory change : Safe contraction, Studia Logica, vol.44, issue.4, pp.14-37, 1985. ,
$$\exists $$ -ASP for Computing Repairs with Existential Ontologies, Proc. of SUM'16, pp.230-245, 2016. ,
DOI : 10.1016/j.websem.2015.04.002
Bringing existential variables in answer set programming and bringing nonmonotony in existential rules: two sides of the same coin, Annals of Mathematics and Artificial Intelligence, vol.82, pp.1-33, 2018. ,
Abstract, Theory and Practice of Logic Programming, vol.9, issue.01, pp.57-144, 2009. ,
DOI : 10.1016/0743-1066(94)90025-6
Possibilistic answer set programming revisited, Proc. of UAI'10, pp.48-55, 2010. ,
Characterizing and extending answer set semantics using possibility theory Theory and Practice of Logic Programming Min-based possibilistic DL-Lite Probabilistic answer set programming, Proc. of Brazilian Conference on Intelligent Systems, BRACIS'13, pp.79-116261, 2013. ,
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics, Proc. of LPNMR'13, pp.264-276, 2013. ,
DOI : 10.1007/978-3-642-40564-8_27
URL : http://www.cs.sfu.ca/%7Ejim/publications/LPNMR13.pdf
Possibility theory, 1988. ,
URL : https://hal.archives-ouvertes.fr/hal-01136336
Possibility theory: Qualitative and quantitative aspects. Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp.169-226, 1998. ,
DOI : 10.1007/978-94-017-1735-9_6
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification, Annals of Mathematics and Artificial Intelligence, vol.32, pp.1-435, 2001. ,
DOI : 10.1007/3-540-45493-4_26
Combining answer set programming with description logics for the Semantic Web, Artificial Intelligence, vol.172, issue.12-13, pp.12-131495, 2008. ,
DOI : 10.1016/j.artint.2008.04.002
URL : https://doi.org/10.1016/j.artint.2008.04.002
A Semantic Characterization for ASP Base Revision, Proc. of SUM'17, pp.334-347, 2017. ,
DOI : 10.1007/978-3-540-89982-2_16
URL : https://hal.archives-ouvertes.fr/hal-01770946
The stable model semantics for logic programming, Proc. of ICLP'88, pp.1070-1080, 1988. ,
A textbook of belief dynamics Theory change and database updating. Kluwer Extending belief base change to logic programs with ASP Studies in Logic, Trends in Belief Revision and Argumentation Dynamics, 1999. ,
Propositional knowledge base revision and minimal change, Proc. of JELIA'12, pp.263-294, 1991. ,
DOI : 10.1016/0004-3702(91)90069-V
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond, Proc. of LPNMR'17Motik and Rosati, 2010] B. Motik and R. Rosati. Reconciling description logics and rules, pp.236-2491, 2010. ,
DOI : 10.1007/978-3-642-25073-6_43
Here's the beef: Answer set programming !, Proc. of ICLP'08, pp.412-93, 1994. ,
The rise and fall of semantic rule updates based on SE-models. Theory and Practice of Logic Programming, pp.869-907, 2014. ,
Strong equivalence made easy: nested expressions and weight constraints, Theory and Practice of Logic Programming, vol.3, issue.4+5, pp.609-622, 2003. ,
DOI : 10.1017/S1471068403001819
Handling uncertainty in answer set programming, Proc. of AAAI'15, pp.4218-4219, 2015. ,
Reconsidering agm-style belief revision in the context of logic programs, Proc. of ECAI'16, pp.671-679, 2016. ,