Author of the publication

Using Event Calculus to Formalise Policy Specification and Analysis.

, , and . POLICY, page 26-. IEEE Computer Society, (2003)

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 Abductive Approach for Handling Inconsistencies in SCR Specifications., , , and . ICSE2000 Workshop on Intelligence Software Engineering, (2000)Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study, , and . ???, (???)Modeling the User Knowledge by Belief Networks., , , , and . User Model. User-Adapt. Interact., 2 (4): 367-388 (1992)RADON: rational decomposition and orchestration for serverless computing., , , , , , , , , and 4 other author(s). SICS Softw.-Intensive Cyber Phys. Syst., 35 (1-2): 77-87 (2020)PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics., , and . CoRR, (2021)NSL: Hybrid Interpretable Learning From Noisy Raw Data., , , , and . CoRR, (2020)Learning Weak Constraints in Answer Set Programming., , and . CoRR, (2015)A Unifying Framework for Learning Argumentation Semantics., , , , and . CoRR, (2023)Enhancing the Alloy Analyzer with Patterns of Analysis., and . WLPE, page 14-30. (2005)Discrete Reasoning Templates for Natural Language Understanding., , and . EACL (Student Research Workshop), page 80-87. Association for Computational Linguistics, (2021)