Author of the publication

Constructing Refinement Operators by Decomposing Logical Implication.

, , and . AI*IA, volume 728 of Lecture Notes in Computer Science, page 178-189. Springer, (1993)

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

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture., , , , , and . Enterprise Modelling and Information Systems Architectures, 2 (1): 40-57 (2007)Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents., and . ECAI, page 13-17. IOS Press, (2004)Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution., , , , , , , and . AICOL, volume 8929 of Lecture Notes in Computer Science, page 130-144. Springer, (2013)Introduction to the special issue on normative multiagent systems., , and . Auton. Agents Multi Agent Syst., 17 (1): 1-10 (2008)Utilitarian Desires., , and . Auton. Agents Multi Agent Syst., 5 (3): 329-363 (2002)Prioritized Norms and Defaults in Formal Argumentation., , , and . DEON, page 139-154. College Publications, (2016)Defense semantics of argumentation: encoding reasons for accepting arguments., and . CoRR, (2017)Modelling defeasible and prioritized support in bipolar argumentation., , , and . Ann. Math. Artif. Intell., 66 (1-4): 163-197 (2012)A Non-monotonic Logic for Specifying and Querying Preferences., and . IJCAI, page 1549-1550. Professional Book Center, (2005)BDIOCTL: Obligations and the Specification of Agent Behavior., , and . IJCAI, page 1389-1390. Morgan Kaufmann, (2003)