Maintaining obligations on stative expressions in a deontic action logic

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

Volumn 3065, Issue , 2004, Pages 258-274

  Wyner, Adam Zachary ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS; COMPUTER SCIENCE; FAULT TOLERANT COMPUTER SYSTEMS; INFORMATION TECHNOLOGY; POLYNOMIALS;

ANDERSONS; DEONTIC ACTION LOGIC; DEONTIC OPERATORS; LEGAL CONTRACTS; LOGICAL REPRESENTATIONS;

FORMAL LOGIC;

ALETHIC LOGIC; DEONTIC ACTION LOGICS; LOGICAL REPRESENTATION; POLYNORMATIVITY;

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

References (28)

1. Anderson, A., Moore, O.: The Formal Analysis of Normative Concepts.The American Sociological Review.22 (1957) 9-17
2. Broersen, J.: Action Negation and Alternative Reductions for Dynamic Deontic Logic.To appear Journal of Applied Logic.(2004)
3. Broersen, J.And van der Torre, L.: Review of J.Horty Agency and Deontic Logic.Artificial Intelligence and Law 11 45-61, (2003)
4. Carmo, J., Jones, A.: Deontic Logic and Contrary-to-duties.In D.Gabbay and Franz Guenthner (eds.) Handbook of Philosophical Logic, Dordrecht: Kluwer Academic Publishers, (2001)
5. Carmo, J., Jones, A.: Deontic Database Constraints, Violation, and Recovery.Studia Logica.57 (1996) 139-165
6. d'Altan, P., Meyer, J.-J.Ch., Wieringa, M.: An integrated framework for ought-to-be and ought-to-do constraints.Artificial Intelligence and Law.4 (1996) 77-111
7. Forrester, J.: Being good and being logical-Philosophical groundwork for a New Deontic Logic.M.E.Sharpe, Armonk, New York, (1996)
8. Harel, D., Kozen, D., and Tiuryn, J.: Dynamic Logic.Cambridge, MA: The MIT Press (2000)
9. Hilpinen, R.: On Action and Agency.In E.Ejerhed and S.Lindström (eds.) Logic, Action and Cognition-Essays in Philosophical Logic.Kluwer Academic Press, Dordrecht, (1997), 3-27
10. Horty, J.: Agency and Deontic Logic.Oxford University Press, Oxford, (2001)
11. Jones, A., Sergot, M.: On the Characterisation of Law and Computer Systems: The Normative Systems Perspective.In J.-J.Ch Meyer and R.J.Wieringa (eds.) Deontic Logic in Computer Science-Normative System Specification.Wiley (1993), 275-307
12. Katz, G.: Anti Neo-Davidsonianism: Against a Davidsonian Semantics for State Sentences.In E.Lang, C.Maienborn, and C.Fabricius-Hansen (Eds.), Events as Grammatical Objects (2000), Stanford, CA: CSLI Publications, 393-416
13. Khosla, S., Maibaum, T.: The Prescription and Description of State-Based Systems.In B.Banieqbal, H.Barringer, and A.Pneuli (eds.) Temporal Logic in Specification.Springer-Verlag (1987) 243-294
14. Krogh, C., Herrestad, H.: Getting Personal: Some Notes on the Relationship Between Personal and Impersonal Obligation.In M.Brown and J.Carmo (eds.) DEON: Deontic Logic, Agency and Normative Systems, DEON '96.Springer-Verlag (1996) 134-153
15. Maienborn, C.: Against a Davidsonian Analysis of Copula Sentence.In M.Kadowski and S.Kawahara (eds.) NELS 33 Proceedings.Amherst: GLSA
16. Meyden, R.v.d.: The Dynamic Logic of Permission.Journal of Logic and Computation.6 (1996) 465-479
17. Meyer, J.-J.Ch.: A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic.Notre Dame Journal of Formal Logic.1 (1988) 109-136
18. Meyer, J.-J.Ch., Wieringa, R.J.: Actors, Actions, and Initiative in Normative System Specification.Annals of Mathematics and Artificial Intelligence.7 (1993) 289-346
19. Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics.Cambridge, MA: The MIT Press (1990)
20. Sergot, M.: A Brief Introduction to Logic Programming and its Applications in Law.In C.Walter (ed.) Computer Power and Legal Language.Quorum Books (1988) 25-39
21. Sergot, M.: The Representation of Law in Computer Computer Programs.In T.J.M.Bench-Capon (ed.) Knowledge-Based Systems and Legal Applications.Academic Press (1991) 3-67
22. Sergot, M.And Richards, R.: On the Representation of Action and Agency in the Theory of Normative Positions.Fundamenta Informaticae.48 (2001) 273-293
23. Sergot, M.: Normative Positions.In Henry Prakken and Paul McNamara (eds.) Norms, Logics and Information Systems.New Studies in Deontic Logic and Computer Science.IOS Press (1998) 289-310
24. Sergot, M.: A Computational Theory of Normative Positions.ACM Transactions on Computational Logic.2 (2001) 581-622
25. Wieringa, R.J., Meyer, J.: Deontic Logic in Computer Science: Normative System Specification.John Wiley and Sons (1993)
26. Wyner, A.Z.: Boolean Event Lattices and Thematic Roles in the Syntax and Semantics of Adverbial Modification.Cornell University Ph.D.Thesis (1994)
27. Wyner, A.Z.: Transfer Report.ms King's College London, Department of Computer Science, url = www.dcs.kcl.ac.uk/pg/wyner
28. Wyner, A.Z.: Informal Contract Specification.ms King's College London, Department of Computer Science, url = www.dcs.kcl.ac.uk/pg/wyner