Author:
Dignum Frank,Broersen Jan,Dignum Virginia,Meyer John-Jules
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Belnap, N., Perloff, M.: Seeing to it that: A canonical form for agentives. Theoria 54, 175–199 (1988)
2. Brown, M.A.: Doing as we ought: towards a logic of simply dischargeable obligations. In: Brown, M.A., Carmo, J. (eds.) Deontic logic, agency, and normative systems. Proceedings DEON 1996, Workshops in Computing, pp. 47–65. Springer, Heidelberg (1996)
3. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finitestate concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems 8(2) (1986)
4. Lecture Notes in Computer Science;E.M. Clarke,1994
5. Dignum, F., Kuiper, R.: Obligations and dense time for specifying deadlines. In: Proceedings of thirty-First HICSS, Hawaii (1998)
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献