Author:
Wieringa R. J.,Meyer J. -J. Ch.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference52 articles.
1. A. al Hibri,Deontic Logic (University Press of America, 1978).
2. L. Åqvist, Deontic logic, in:Handbook of Philosophical Logic II, ed. D.M. Gabbay and F. Guenthner (Reidel, 1984) pp. 605?714.
3. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier and S. Zdonik, The object-oriented database system manifesto, in:1st Int. Conf. on Deductive and Object-Oriented Databases, ed. W. Kim, J.-M. Nicolas and S. Nishio (1989) pp. 40?57.
4. J.C.M. Baeten and W.P. Weijland,Process Algebra, Cambridge Tracts in Theoretical Computer Science 18 (Cambridge University Press, 1990).
5. J.A. Bergstra and J.W. Klop, Process algebra for synchronous communication, Info. Control. 60(1984)109?137.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Blame it on me;Journal of Philosophical Logic;2019-06-10
2. Practical Inference—A Formal Analysis;Philosophy of Engineering and Technology;2018
3. Modeling Accountable Cloud Services Based on Dynamic Logic for Accountability;International Journal of Web Services Research;2015-07
4. Modeling Accountable Cloud Services;2014 IEEE International Conference on Web Services;2014-06
5. Conceptual Modelling of Application Stories;Handbook of Conceptual Modeling;2011