F. Dignum, R. Kuiper  Home/Search
Context Related
| wwwis.win.tue.nl/~dignum/hicss97.ps wwwis.win.tue.nl/~dignum/p...hicss97.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: wwwis.win.tue.nl/~dignum...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Intelligent agents have an agenda that is monitored continuously to decide what action is to be performed. Formally, an agenda is a set of deontic temporal constraints. Deontic, since the agenda specifies what the agent should do. Temporal, since the obligation is usually to be performed before a certain deadline, or as soon as possible. In this paper, we investigate the concepts necessary to describe deadlines. We describe a temporal deontic logic that facilitates reasoning about obligations... (Update)
Context of citations to this paper: More
...that every speech act has an implicit deadline for reaction incorporated. The modeling of these type of deadlines is described in e.g. [4], but is not further pursued here. Finally, the formal result of the potential recognition stage is that agent a has the belief that it is...
...the silent agent will not be considered as a potential team member anymore. The logical modeling of these types of deadlines is described in [6] and will not be pursued here. Finally, the formal result of the potential recognition stage is that agent a has the belief that it is...
Cited by: More
Creating Collective Intention - Through Dialogue Frank (Correct)
Creating Collective Intention through Dialogue - Dignum (2000) (Correct)
Creating Collective Intention Through Dialogue - Frank Dignum Barbara (2000) (Correct)
Similar documents (at the sentence level):
23.7%: Meeting the Deadline: On the Formal Specification of.. - Dignum, Weigand.. (1996) (Correct)
5.8%: Obligations and Dense Time for Specifying Deadlines - Dignum, Kuiper (Correct)
5.8%: Specifying Deadlines with Dense Time using Deontic and.. - Dignum, Kuiper (Correct)
Active bibliography (related documents): More All
2.4: Obligations in a Temporal Framework - Dignum, Kuiper, Meyer (1998) (Correct)
0.4: A Modal Approach to Intentions, Commitments and.. - Dignum, Meyer.. (1996) (Correct)
0.3: A Dynamic Logic for Reasoning about Sub-ideal States - Dignum Ch Meyer (1994) (Correct)
Similar documents based on text: More All
0.4: Defeasible Reasoning with Legal Rules in a Deontic Logic.. - Royakkers, Dignum (Correct)
0.4: The Chisholm Paradox - van der Torre, Tan (Correct)
0.4: Rights, Duties and Commitments between Agents - van der Torre, Tan (1999) (Correct)
Related documents from co-citation: More All
8: Modeling rational agents within a BDI-architecture - Rao, Georgeff - 1991
8: Communication and deontic logic - Dignum, Weigand - 1995
7: Intentional agents and goal formation - Dignum, Conte - 1998
BibTeX entry: (Update)
F. Dignum and R. Kuiper. Combining dynamic deontic logic and temporal logic for the specification of deadlines. In Jr. R. Sprague, editor, Proceedings of thirtieth HICSS, Wailea, Hawaii, 1997. http://citeseer.ist.psu.edu/dignum97combining.html More
@misc{ dignum97combining,
author = "F. Dignum and R. Kuiper",
title = "Combining dynamic deontic logic and temporal logic for the specification
of deadlines",
text = "F. Dignum and R. Kuiper. Combining dynamic deontic logic and temporal logic
for the specification of deadlines. In Jr. R. Sprague, editor, Proceedings
of thirtieth HICSS, Wailea, Hawaii, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/dignum97combining.html" }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1991
725 Temporal and Modal Logic (context) - Emerson - 1989
139 Cambridge University Press (context) - Baeten, Weijland - 1990
118 Temporal Logic for Real-Time Systems (context) - Ostroff - 1989
85 First Order Dynamic Logic (context) - Harel - 1979
65 A different approach to deontic logic: Deontic logic viewed .. (context) - Ch - 1988
58 Explicit clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
48 CSLI Lecture Notes (context) - Goldblatt, Time - 1992
41 Applications of temporal logic to the specification of real-.. (context) - Pnueli, Harel - 1988
38 Temporal Reasoning over Deontic Specification (context) - Fiadeiro, Maibaum - 1991
38 Representations for Decision-Theoretic Planning: Utility Fun.. (context) - Haddawy, Hanks - 1992
34 Temporal Verification of Reactive Systems (context) - Manna, Pnueli - 1996
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 Artificial Intelligence (context) - Agent-oriented - 1993
10 Combining Agency and Obligation (context) - Horty - 1996
8 Some Main Problems of Deontic Logic (context) - Hintikka - 1971
7 a theoretical framework for Intentions (context) - systems - 1994
4 communication and concurrency (context) - Broy, for et al. - 1986
3 a solution to the free choice paradox (context) - Dignum, Ch et al. - 1994
2 Interoperable Transactions in Business Models (context) - Weigand, Verharen et al. - 1996
2 A Formal Specification of Deadlines using Dynamic Deontic Lo.. (context) - Dignum, Weigand et al. - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://wwwis.win.tue.nl/~dignum/papers.html): More
Implementation of a Cooperative Agent Architecture based.. - Verharen, Dignum, Bos (1997) (Correct)
Intentional Agents and Goal Formation - Dignum, Conte (1997) (Correct)
Integrating Information Systems: Linking Global Business.. - Dignum, Houben (1998) (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