Author of the publication

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory.

, , , and . ER, volume 12400 of Lecture Notes in Computer Science, page 3-18. Springer, (2020)

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

What's in an Attribute? Consequences for the Least Common Subsumer., and . J. Artif. Intell. Res., (2001)Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems., and . IFIP Congress (3), volume A-14 of IFIP Transactions, page 171-181. North-Holland, (1992)On the Relative Expressiveness of Description Logics and Predicate Logics.. Artif. Intell., 82 (1-2): 353-367 (1996)Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity., and . NMR, page 21-32. American Association for Artificial Intelligence (AAAI), (1984)Distributed Description Logics: First results., and . Description Logics, volume 53 of CEUR Workshop Proceedings, CEUR-WS.org, (2002)Accessing Document Data Sources using Referring Expression Types., , , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Matching in Description Logics: Preliminary Results., , and . Description Logics, volume 11 of CEUR Workshop Proceedings, CEUR-WS.org, (1998)Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect., , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Formal studies of stratificational grammars.. University of Toronto, Canada, (1977)Data Semantics Revisited., and . SWDB, 3372, page 9-26. (2004)