Author of the publication

A Possible World View and a Normal Form for the Constellation Semantics.

, and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 58-68. Springer, (2019)

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

Reasoning about Secure Interoperation Using Soft Constraints., , and . Formal Aspects in Security and Trust, volume 173 of IFIP, page 173-186. Springer, (2004)Modeling and detecting the cascade vulnerability problem using soft constraints., , and . SAC, page 383-390. ACM, (2004)Soft constraint propagation and solving in CHRs., , and . SAC, page 1-5. ACM, (2002)Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria., , , and . Secur. Commun. Networks, 3 (6): 595-610 (2010)Special issue of the Knowledge Representation and Reasoning Track, Symposium on Applied Computing (SAC) 2017., , and . Fundam. Informaticae, 166 (2): 139-140 (2019)A Comparative Test on the Enumeration of Extensions in Abstract Argumentation., , and . Fundam. Informaticae, 140 (3-4): 263-278 (2015)From soft constraints to bipolar preferences: modelling framework and solving issues., , , and . J. Exp. Theor. Artif. Intell., 22 (2): 135-158 (2010)Is Arbitrage Possible in the Bitcoin Market? (Work-In-Progress Paper)., , , , and . GECON, volume 11113 of Lecture Notes in Computer Science, page 243-251. Springer, (2018)On merging two trust-networks in one with bipolar preferences., and . Math. Struct. Comput. Sci., 27 (2): 215-233 (2017)Soft Constraints for Security Protocol Analysis: Confidentiality., and . PADL, volume 1990 of Lecture Notes in Computer Science, page 108-122. Springer, (2001)