Meeting the deadline: On the formal specification of temporal deontic constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1079, Issue , 1996, Pages 243-252

  Dignum, F ^a   Weigand, H ^c   Verharen, E ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b TILBURG UNIVERSITY   (Netherlands)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INTELLIGENT AGENTS; INTELLIGENT SYSTEMS;

APPLICATION AREA; DEONTIC; DEONTIC CONSTRAINTS; DEONTIC LOGIC; DYNAMIC LOGIC;

COMPUTER CIRCUITS;

EID: 84949757851     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61286-6_149     Document Type: Conference Paper

References (14)

1. L. Aqvist. Deontic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 605-714. Reidel, 1984.
2. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990.
3. J.W. de Bakker, J.N Kok, J.-J.Ch. Meyer, E.-R. Olderog, and J.l. Zucker. Contrasting themes in the semantics of imperative concurrency. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 51-121. LNCS 224 Springer, Berlin, 1986.
4. C. Boutilier Toward a Logic for Qualitative Decision Theory. In JonDoyle, Erik Sandewall and Pietro Torasso (eds.), Principles of Knowledge Representation and Reasoning, proceedings of the fourth international conference, pages 75-86, 1994, Morgan Kaufmann Publishers, San Francisco, California.
5. M. Broy. A theory for nondeterminism, parallelism, communication and concurrency. In Theoretical Computer Science, vol.45, pages 1-62, 1986.
6. F. Dignum and J.-J.Ch. Meyer. Negations of transactions and their use in the specification of dynamic and deontic integrity constraints. In M. Kwiatkowska, M.W. Shields, and R.M. Thomas, editors, Semantics for Concurrency, Leicester 1990, pages 61-80, Springer, Berlin, 1990.
7. Contextual permission, a solution to the free choice paradox. In A. Jones and M. Sergot, editors, Second International Workshop on Deontic Logic in Computer Science, pages 107-135, Oslo, 1994. Tano A.S.
8. E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 995-1072, North-Holland, Amsterdam, 1989.
9. J. Fiadeiro and T. Maibaum. Temporal Reasoning over Deontic Specification; In Journal of Logic and Computation, 1 (3), 1991.
10. D. Harel. First Order Dynamic Logic. LNCS 68 Springer, 1979.
11. J.F. Horty. Combining Agency and Obligation. In M. Brown and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, pages 98-122, Springer-Verlag, Berlin, 1996.
12. J.-J.Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. In Notre Dame, vol.29, pages 109-136, 1988.
13. R. Thomason. Deontic Logic as founded on tense logic. In R. Hilpinen, editor, New Studies in Deontic Logic, pages 165-176, D.Reidel Publishing Company, 1981.
14. G.H. von Wright. Deontic logic. In Mind, vol.60, pages 1-15, 1951.