Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique)

Christos Rantsoudis. Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs. (Bases de connaissance et actions de mise à jour préférées : à la recherche de consistance au travers des programmes de la logique dynamique). PhD thesis, Paul Sabatier University, Toulouse, France, 2018. [doi]