Author:
Broersen Jan,Wieringa Roel,Meyer John-Jules
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. C. Baral. Reasoning about actions: non-deterministic effects, constraints and qualification. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI’95), pages 2017–2023, 1995.
2. A. Borgida, J. Mylopoulos, and R. Reiter. On the frame problem in procedure specifications. IEEE Transactions on Software Engineering, 21:785–798, 1995.
3. Marcos A. Castilho, Olivier Gasquet, and Andreas Herzig. Formalizing action and change in modal logic I: the frame problem. Journal of Logic and Computation, 9(5), 1999.
4. F.P.M. Dignum and J.-J.Ch. Meyer. Negations of transactions and their use in the specification of dynamic and deontic integrity constraints. In M.Z. Kwiatkowska, M.W. Shields, and R.M. Thomas, editors, Semantics for Concurrency, pages 61–80. Springer, 1990.
5. K. Fine and G. Schurz. Transfer theorems for stratified multimodal logics. In J. Copeland, editor, Logic and Reality. Essays in Pure and Applied Logic. In Memory of Arthur Prior, pages 169–213. Oxford University Press, 1996.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献