F. Dignum, R. Kuiper, J.J.Ch. Meyer  Home/Search
Context
Related
| wwwis.win.tue.nl/~dignum/deon98.ps wwwis.win.tue.nl/~dignum/pa...deon98.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: In this paper we consider the notion of ought-to-do obligation in the context of several concepts of time. Starting from the relatively easy case of discrete time and a lockstep interpretation of actions, we experiment with several plausible definitions and propose a generalised notion of obligation for dense time. A crucial ingredient of the definition proposed is to consider a branching-time temporal operator in order to capture the obligation to a choice of actions adequately. 1 ... (Update)
Similar documents (at the sentence level):
35.3%: Obligations and Dense Time for Specifying Deadlines - Dignum, Kuiper (Correct)
24.7%: Specifying Deadlines with Dense Time using Deontic and.. - Dignum, Kuiper (Correct)
Active bibliography (related documents): More All
2.4: Combining Dynamic Deontic Logic and Temporal Logic for the.. - Dignum, Kuiper (1997) (Correct)
0.6: Meeting the Deadline: On the Formal Specification of.. - Dignum, Weigand.. (1996) (Correct)
0.4: A Modal Approach to Intentions, Commitments and.. - Dignum, Meyer.. (1996) (Correct)
Similar documents based on text: More All
0.3: No organization without obligations: How to formalize.. - Royakkers, Dignum (2000) (Correct)
0.1: A Search for Bright Kuiper Belt Objects - Brown, Webster (1998) (Correct)
0.1: A Language/Action perspective on Cooperative Information.. - Verharen, Dignum, Weigand (Correct)
BibTeX entry: (Update)
@inproceedings{ dignum98obligations,
author = "Frank Dignum and Ruurd Kuiper",
title = "Obligations and Dense Time for Specifying Deadlines",
booktitle = "{HICSS} (5)",
pages = "186-195",
year = "1998",
url = "citeseer.ist.psu.edu/dignum98obligations.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
77 Now you may compose temporal logic specifications (context) - Barringer, Kuiper et al. - 1984
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
48 An Interval-based Representation of Temporal Knowledge (context) - Allen - 1981
41 Applications of temporal logic to the specification of real-.. (context) - Pnueli, Harel - 1988
41 Contrary-to-Duty Imperatives and Deontic Logic (context) - Chisholm - 1963
38 Temporal Reasoning over Deontic Specification (context) - Fiadeiro, Maibaum - 1991
38 Representations for Decision-Theoretic Planning: Utility Fun.. (context) - Haddawy, Hanks - 1992
34 Deontic Logic: A Concise Overview (context) - Ch, Wieringa - 1993
34 Temporal Verification of Reactive Systems (context) - Manna, Pnueli - 1996
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
14 The Role of Deontic Logic in the Specification of Informatio.. - Ch, Wieringa et al. - 1996
13 Negations of transactions and their use in the specification.. (context) - Dignum, Ch - 1990
12 A System of Temporally Relative Modal and Deontic Predicate .. (context) - van Eck - 1982
12 A System of Temporally Relative Modal and Deontic Predicate .. (context) - van Eck - 1982
12 Combining dynamic deontic logic and temporal logic for the s.. - Dignum, Kuiper - 1997
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) - Singh - 1994
4 Seeing to it that: a canonical form to agentives (context) - Belnap, Perloff - 1988
4 communication and concurrency (context) - Broy, for et al. - 1986
3 a solution to the free choice paradox (context) - Dignum, Ch et al. - 1994
3 Compositional Verification of RealTime Systems with Explicit.. (context) - Zhou, Hooman et al. - 1996
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
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