F. Dignum, H. Weigand, E. Verharen  Home/Search
Context Related
| wwwis.win.tue.nl/~dignum/ismis96.ps win.tue.nl/pub/techreports...ismis96.ps wwwis.win.tue.nl/~dignum/p...ismis96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: infolab.kub.nl/egon/CIA/ (more) From: fermivista.math....ftp.win.tue.nl (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper, we describe a temporal deontic logic that facilitates reasoning about obligations and deadlines. The logic is an extension of deontic dynamic logic, in which only immediate obligations can be specified. In our extension, we can also specify that an obligation starts at a certain time or event, that it must be done immediately, as soon as possible, before a deadline, or periodically. A practical application area are intelligent agents that must be able to reason about their... (Update)
Context of citations to this paper: More
.... [Weigand et al. 1995] Semantics and multimodal logics have been described in [Wieringa et al. 1989] Weigand et al. 1995] [Dignum et al. 1996a] and [Dignum et al. 1996b] while modelling methods for modelling ICS s based on linguistics were described in [Verharen et...
.... include (roughly in order of sophistication) a coupling to speech acts using illocutionary logic [13] a logic for action and norms [14], a first order action logic [24] currently limited to pairwise obligations, i.e. broadcasting commitments is not possible) and even...
Cited by: More
Norm Autonomous Agents - Verhagen (2000) (Correct)
Modelling Agent Communication in a First Order Logic - Johannesson, Wohed (1998) (Correct)
Temporal Agent Programs - Dix, Kraus, Subrahmanian (2000) (Correct)
Similar documents (at the sentence level):
37.3%: Combining Dynamic Deontic Logic and Temporal Logic for the.. - Dignum, Kuiper (1997) (Correct)
10.6%: A Modal Approach to Intentions, Commitments and.. - Dignum, Meyer.. (1996) (Correct)
Active bibliography (related documents): More All
0.6: Obligations in a Temporal Framework - Dignum, Kuiper, Meyer (1998) (Correct)
0.2: Current Issues in the Field of Deontic Logic - Krogh (1997) (Correct)
0.2: Free Choice and Contextually Permitted Actions - Dignum, Meyer, Wieringa (1996) (Correct)
Similar documents based on text: More All
0.3: Modelling Communication between Cooperative Systems - Frank Dignum (1995) (Correct)
0.3: A Language/Action perspective on Cooperative Information.. - Verharen, Dignum, Weigand (Correct)
0.3: Communication and Deontic Logic - Dignum, Weigand (1995) (Correct)
Related documents from co-citation: More All
4: Modelling Communication between Cooperative Systems - Dignum - 1995
3: Agent-oriented programming (context) - Shoham - 1993
3: Intention is choice with commitment (context) - Cohen, Levesque - 1990
BibTeX entry: (Update)
. F. Dignum, H. Weigand and E. Verharen, "Meeting the deadline: on the formal specification of temporal deontic constraints", in: Proc. of the Int.l. Symposium on Methodologies for Intelligent Systems (ISMIS'96), 1996 (to appear). http://citeseer.ist.psu.edu/dignum96meeting.html More
@inproceedings{ dignum96meeting,
author = "Frank Dignum and Hans Weigand and Egon Verharen",
title = "Meeting the Deadline: On the Formal Specification of Temporal Deontic Constraints",
booktitle = "International Syposium on Methodologies for Intelligent Systems",
pages = "243-252",
year = "1996",
url = "citeseer.ist.psu.edu/dignum96meeting.html" }
Citations (may not include all citations):725 Temporal and Modal Logic (context) - Emerson - 1989
139 Cambridge University Press (context) - Baeten, Weijland - 1990
85 First Order Dynamic Logic (context) - Harel - 1979
65 A different approach to deontic logic: Deontic logic viewed .. (context) - Ch - 1988
38 Temporal Reasoning over Deontic Specification (context) - Fiadeiro, Maibaum - 1991
26 Deontic logic (context) - von Wright - 1951
23 Deontic Logic as founded on tense logic (context) - Thomason - 1981
22 Deontic logic (context) - Aqvist - 1984
14 Contrasting themes in the semantics of imperative concurrenc.. (context) - de Bakker, Kok et al. - 1986
13 Negations of transactions and their use in the specification.. (context) - Dignum, Ch - 1990
10 Combining Agency and Obligation (context) - Horty - 1996
4 communication and concurrency (context) - Broy, for et al. - 1986
1 a solution to the free choice paradox (context) - permission - 1994
Documents on the same site (http://infolab.kub.nl/egon/CIA/): More
Modelling Communication between Cooperative Systems - Frank Dignum (1995) (Correct)
A Modal Approach to Intentions, Commitments and.. - Dignum, Meyer.. (1996) (Correct)
Integrated Semantics for Information and Communication.. - Weigand, Verharen, Dignum (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC