Author:
Luteberget Bjørnar,Camilleri John J.,Johansen Christian,Schneider Gerardo
Publisher
Springer International Publishing
Reference22 articles.
1. Angelov, K., Camilleri, J.J., Schneider, G.: A framework for conflict analysis of normative texts written in controlled natural language. JLAP 82(5), 216–240 (2013). doi: 10.1016/j.jlap.2013.03.002
2. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence),2007
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JJ Camilleri,2014
5. Harel, D., Tiuryn, J., Kozen, D.: Dynamic Logic. MIT Press, Cambridge (2000)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献