Author:
Governatori Guido,Hoffmann Jörg,Sadiq Shazia,Weber Ingo
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;S. Sadiq,2007
2. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14, 181–216 (2005)
3. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2, 255–287 (2001)
4. Governatori, G., Rotolo, A.: Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193–215 (2006)
5. Dongen, B., Mendling, J., Aalst, W.: Structural Patterns for Soundness of Business Process Models. In: Proceedings EDOC 2006, pp. 116–128. IEEE, Los Alamitos (2006)
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献