Author of the publication

A Language for Handling Hypothetical Updates and Inconsistency.

, , , and . Logic Journal of the IGPL, 4 (3): 385-416 (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A constructive conditional logic for access control: a preliminary report., , , and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 1073-1074. IOS Press, (2010)Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language., , , and . LPNMR, volume 928 of Lecture Notes in Computer Science, page 203-216. Springer, (1995)Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆., , and . Fundam. Informaticae, 159 (1-2): 95-122 (2018)On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps., , and . CILC, volume 2710 of CEUR Workshop Proceedings, page 127-140. CEUR-WS.org, (2020)A Constructive Conditional Logic for Access Control., , , and . CILC, volume 598 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)A Framework for a Modal Logic Programming., , and . JICSLP, page 52-66. MIT Press, (1996)Preferential Description Logics., , , and . LPAR, volume 4790 of Lecture Notes in Computer Science, page 257-272. Springer, (2007)Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin., , , and . IJCAI, page 894-899. IJCAI/AAAI, (2011)An Abductive Characterization of the TMS., and . ECAI, page 308-313. (1990)An Abductive Proof Procedure for Conditional Logic Programming., , and . FAPR, volume 1085 of Lecture Notes in Computer Science, page 231-245. Springer, (1996)