Author of the publication

A New Approach to Base Revision.

, and . EPIA, volume 1695 of Lecture Notes in Computer Science, page 327-341. Springer, (1999)

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

An Argumentation-Theoretic Characterization of Defeasible Logic., and . ECAI, page 469-473. IOS Press, (2000)A Compact Argumentation System for Agent System Specification., and . STAIRS, volume 142 of Frontiers in Artificial Intelligence and Applications, page 26-37. IOS Press, (2006)KED: A Deontic Theorem Prover., , and . ICLP Workshop: Legal Application of Logic Programming, (1994)Sending Messages in Social Networks., , , and . KES-AMSTA, volume 96 of Smart Innovation, Systems and Technologies, page 123-133. Springer, (2018)Managing Regulatory Compliance in Business Processes., and . Handbook on Business Process Management (2), Springer, (2015)Measurement of Compliance Distance in Business Processes., , and . Inf. Syst. Manag., 25 (4): 344-355 (2008)Synthesis of Regulation Compliant Business Processes., , , and . IEEE Trans. Serv. Comput., 14 (4): 1179-1193 (2021)Explainable Reasoning with Legal Big Data: A Layered Framework., , , , , , , , and . FLAP, 9 (4): 1155-1170 (2022)Business Process Modelling in Healthcare and Compliance Management: A Logical Framework., , , , and . FLAP, 9 (4): 1131-1154 (2022)Special issue on logics for intelligent agents and multi-agent systems., , , , and . J. Appl. Log., 9 (4): 221-222 (2011)