A New Frontier, ICDT'88, 2nd International Conference on Database Theory, vol.326, pp.1-18, 1988. ,
Automatic Generation of Production Rules for Integrity Maintenance, ACM Trans. Database Syst, vol.19, issue.3, pp.367-422, 1994. ,
Database Repairing and Consistent Query Answering. Synthesis Lectures on Data Management, 2011. ,
Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science, 1990. ,
Propositional Belief Base Update and Minimal Change, Artif. Intell, vol.115, issue.1, pp.107-138, 1999. ,
Minimal-change integrity maintenance using tuple deletions, Inf. Comput, vol.197, issue.1-2, pp.90-121, 2005. ,
Active integrity constraints, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp.98-107, 2004. ,
Active Integrity Constraints for Database Consistency Maintenance, IEEE Trans. Knowl. Data Eng, vol.21, issue.7, pp.1042-1058, 2009. ,
Active integrity constraints and revision programming, TPLP, vol.11, issue.6, pp.905-952, 2011. ,
Optimizing Computation of Repairs from Active Integrity Constraints, Foundations of Information and Knowledge Systems -8th International Symposium, vol.8367, pp.361-380, 2014. ,
Fixpoint semantics for active integrity constraints, Artif. Intell, vol.255, pp.43-70, 2018. ,
A Dynamic Logic of Normative Systems, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.228-233, 2011. ,
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.143-152, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01240721
model checking and satisfiability problem are indeed in PSPACE ,
Handbook of Philosophical Logic, vol.II, pp.497-604, 1984. ,
Dynamic Logic, 2000. ,
A Dynamic View of Active Integrity Constraints, Logics in Artificial Intelligence -14th European Conference, vol.8761, pp.486-499, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01159678
, Propositional Dynamic Logic with Local Assignments. Theor. Comput. Sci, vol.36, pp.71-87, 1985.
Making Things Happen, Studia Logica, vol.66, issue.1, pp.41-58, 2000. ,
Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014. ,
A Dynamic Logic Framework for Abstract Argumentation, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01787378
On the revision of planning tasks, ECAI 2014 -21st European Conference on Artificial Intelligence, vol.263, pp.435-440, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01399881
Epistemic Boolean Games Based on a Logic of Visibility and Control, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pp.1116-1122, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01530163
A Simple Account of Multi-Agent Epistemic Planning, -Including Prestigious Applications of Artificial Intelligence (PAIS 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, vol.29, pp.193-201, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01500521
Succinct Language for Dynamic Epistemic Logic, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, vol.2017, pp.123-131, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01487001
On the difference between updating a knowledge base and revising it, Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf, pp.387-394, 1991. ,
Update: Taking a Closer Look, 12th European Conference on Artificial Intelligence, pp.95-99, 1996. ,
Reasoning about Action Using a Possible Models Approach, Proceedings of the 7th National Conference on Artificial Intelligence, pp.89-93, 1988. ,
Word Problems Requiring Exponential Time: Preliminary Report, Proceedings of the 5th Annual ACM Symposium on Theory of Computing, pp.1-9, 1973. ,