On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, J. of Symbolic Logic, vol.62, pp.510-530, 1985. ,
DOI : 10.1007/978-3-319-20451-2_13
Dynamic logic of propositional assignments: a wellbehaved variant of PDL, Logic in Computer Science (LICS), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01240721
Using methods of declarative logic programming for intelligent information agents, Theory and Practice of Logic Programming, vol.2, issue.06, pp.645-709, 2002. ,
DOI : 10.1017/S1471068402001576
Contingency-Based Equilibrium Logic, LPNMR 2011, pp.223-228, 2011. ,
DOI : 10.1007/978-3-642-20895-9_23
The Modal Logic of Equilibrium Models, FroCoS 2011, pp.135-146, 2011. ,
DOI : 10.1007/10722086_28
On modal logic with an intuitionistic base, Studia Logica, vol.31, issue.No. 2, pp.141-149, 1976. ,
DOI : 10.1007/BF02121259
Conflict-driven answer set solving, IJCAI, pp.386-392, 2007. ,
DOI : 10.1007/978-3-540-72200-7_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.3156
Constraint Answer Set Solving, ICLP 2009, pp.235-249, 2009. ,
DOI : 10.1007/s10472-007-9076-z
URL : https://hal.archives-ouvertes.fr/hal-01186996
A dynamic logic of normative systems On the logic of cooperation and the transfer of control, International Joint Conference on Artificial Intelligence (IJCAI), pp.228-233, 2010. ,
On the dynamics of delegation, cooperation, and control, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems , AAMAS '05, 2005. ,
DOI : 10.1145/1082473.1082580
On the logic of cooperation and propositional control, Artificial Intelligence, vol.164, issue.1-2, pp.81-119, 2005. ,
DOI : 10.1016/j.artint.2005.01.003
On the difference between updating a knowledge base and revising it Belief Revision, Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf, pp.183-203, 1991. ,
Strongly equivalent logic programs, ACM Transactions on Computational Logic, vol.2, issue.4, pp.526-541, 2001. ,
DOI : 10.1145/383779.383783
Robust equivalence models for semantic updates of answer-set programs, 2012. ,
A Unifying Perspective on Knowledge Updates, JELIA 2012, pp.372-384, 2012. ,
DOI : 10.1145/1149114.1149115
A unified framework for representing logic program updates, pp.707-713, 2005. ,