Author of the publication

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)Using Abduction to Evolve Inconsistent Requirements Specification., and . Australasian J. of Inf. Systems, (1999)Using Event Calculus to Formalise Policy Specification and Analysis., , and . POLICY, page 26-. IEEE Computer Society, (2003)Enhancing the Alloy Analyzer with Patterns of Analysis, and . CoRR, (2005)Data Modelling for the Evaluation of Virtualized Network Functions Resource Allocation Algorithms., , , and . CoRR, (2017)Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study, , and . ???, (???)Labelled Natural Deduction for Conditional Logics of Normality., , , and . Logic Journal of the IGPL, 10 (2): 123-163 (2002)Modeling the User Knowledge by Belief Networks., , , , and . User Model. User-Adapt. Interact., 2 (4): 367-388 (1992)Tensor-Based Abduction in Horn Propositional Programs., , and . ILP Up-and-Coming / Short Papers, volume 2206 of CEUR Workshop Proceedings, page 68-75. CEUR-WS.org, (2018)Learning weak constraints in answer set programming., , and . Theory Pract. Log. Program., 15 (4-5): 511-525 (2015)