Designing a deontic logic of deadlines

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3065, Issue , 2004, Pages 43-56

  Broersen, Jan ^a   Dignum, Frank ^a   Dignum, Virginia ^a   Meyer, John Jules Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL OPERATORS; MODAL ANALYSIS; SEMANTICS;

DEONTIC LOGIC; MODAL OPERATORS; TEMPORAL LOGIC;

LOGIC DESIGN; AGGLOMERATION;

BRANCHING TIME; DEONTIC LOGIC; LOGIC PROPERTIES; MODAL OPERATORS; WEAK AGGLOMERATION;

EID: 9444283271     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-25927-5_5     Document Type: Conference Paper

References (20)

1. Dean, T., Firby, R., Miller, D.: Hierarchical planning involving deadlines, travel time, and resources.Computational Intelligence 6:1 (1990) 381-398
2. Clarke, E., Emerson, E., Sistla, A.: Automatic verification of finite-state concurrent systems using temporal logic specifications.ACM Transactions on Programming Languages and Systems 8 (1986)
3. Emerson, E.: Temporal and modal logic.In Leeuwen, J.v., ed.: Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics.Elsevier Science (1990) 996-1072
4. Clarke, E., Grumberg, O., Long, D.: Verification tools for finite-state concurrent systems.In: A decade of concurrency.Volume 803 of Lecture Notes in Computer Science.Springer (1993) 124-175
5. Wright, G.v.: Deontic logic.Mind 60 (1951) 1-15
6. Broersen, J., Dastani, M., Torre, L.v.d.: BDIO-CTL: Obligations and the specification of agent behavior.In: Proceedings of Eighteenth International Joint Conference on Artificial Intelligence (IJCAI2003).(2003)
7. Anderson, A.: A reduction of deontic logic to alethic modal logic.Mind 67 (1958) 100-103
8. Kanger, S.: New foundations for ethical theory.In Hilpinen, R., ed.: Deontic Logic: Introductory and Systematic Readings.D.Reidel Publishing Company (1971) 36-58
9. Dignum, F., Kuiper, R.: Combining dynamic deontic logic and temporal logic for the specification of deadlines.In Jr., R.S., ed.: Proceedings of thirtieth HICSS.(1997)
10. Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture.In Allen, J., Fikes, R., Sandewall, E., eds.: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Morgan Kaufmann Publishers (1991) 473-484
11. Schnoebelen, P.: The complexity of temporal logic model checking.In Balbiani, P., Suzuki, N.Y., Wolter, F., Zakharyaschev, M., eds.: Advances in Modal Logic.Volume 4.(2003) 393-436
12. Schild, K.: On the relationship between BDI-logics and standard logics of concurrency.Autonomous agents and multi-agent systems 3 (2000) 259-283
13. Cohen, P., Levesque, H.: Intention is choice with commitment.Artificial Intelligence 42 (1990) 213-261
14. Benthem, J.v.: Minimal deontic logics.Bulletin of the Section of Logic 8 (1979) 36-42
15. Lutz, C., Sattler, U.: The complexity of reasoning with boolean modal logic.In: Advances in Modal Logic.Volume 3., World Scientific (2002) 365-387
16. Gasquet, O., Herzig, A.: Translating non-normal modal logics into normal modal logics.In Jomes, A., Sergot, M., eds.: Proceedings International Workshop on Deontic Logic, TANO, Oslo (1993)
17. Gasquet, O., Herzig, A.: (From classical to normal modal logics)
18. Bolotov, A., Fisher, M.: A clausal resolution method for CTL branching-time temporal logic.Journal of Experimental and Theoretical Artificial Intelligence 11 (1999) 77-93
19. Shankar, N.: Machine-assisted verification using theorem proving and model checking.In Broy, M., ed.: Mathematical Methods in Program Development.Springer (1997)
20. Torre, L.v.d., Tan, Y.: Diagnosis and decision making in normative reasoning.Artificial Intelligence and Law 7 (1999) 51-67