Temporalised normative positions in defeasible logic

Proceedings of the International Conference on Artificial Intelligence and Law

Volumn , Issue , 2005, Pages 25-34

  Governatori, Guido ^a   Rotolo, Antonino ^b   Sartor, Giovanni ^b  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEFEASIBLE LOGIC; MULTI-MODAL LOGIC; NORMATIVE POSITIONS;

ARTIFICIAL INTELLIGENCE;

FORMAL LOGIC;

EID: 77950411147     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1165485.1165490     Document Type: Conference Paper

References (25)

1. G. Antoniou, D. Billington, G. Governatori, and M. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255-287, 2001.
2. G. Antoniou, D. Billington, G. Governatori, M. Maher, and A. Rock. A family of defeasible reasoning logics and its implementation. In W. Horn, editor, Proc. ECAI 2000, Amsterdam, 2000. IOS.
3. A. Artikis, J. Pitt, and M. Sergot. Animated specifications of computational societies. In Proc. AAMAS'02. ACM, New York, 2002.
4. N. Bassiliades, G. Antoniou, and I. Vlahavas. DR-DEVICE: A defeasible logic system for the Semantic Web. In H.J. Ohlbach and S. Schaffert, editors, 2nd Workshop on Principles and Practice of Semantic Web Reasoning. Springer, 2004.
5. R. Conte and C. Dellarocas. Social Order in Multiagent Systems. Kluwer, Boston, 2001.
6. D. Elgesem. The modal logic of agency. Nordic Journal of Philosophical Logic, 2:1-48, 1997.
7. J. Gelati, G. Governatori, A. Rotolo, and G. Sartor. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. AI and Law, 12(1-2):53-81, 2004.
8. G. Governatori. Representing business contracts in RuleML. Int. Journal of Coop. Inf. Syst., 14(2-3), 2005.
9. G. Governatori, M. Maher, D. Billington, and G. Antoniou. Argumentation semantics for defeasible logics. Journal of Logic and Computation, 14(5):675-702, 2004.
10. G. Governatori and A. Rotolo. Defeasible logic: Agency, intention and obligation. In A. Lomuscio and D. Nute, editors, Proc. DEON 2004, Berlin, 2004. Springer.
11. G. Governatori and A. Rotolo. Modelling contracts in RuleML. In T. Gordon, editor, Proc. Jurix 2004, Amsterdam, 2004. IOS.
12. J.Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(3):319-380, 1992.
13. A.J.I. Jones and M. Sergot. A formal characterisation of institutionalised power. Journal of IGPL, 3:427-443, 1996.
14. Ch. Krogh and H. Herrestad. Getting personal: Some notes on the relationship between personal and impersonal obligation. In M. Brown and J. Carmo, editors, Proc. DEON 1996, Berlin, 1996. Springer.
15. A. Lomuscio and D. Nute, editors. Proc. DEON 2004, Berlin, 2004. Springer.
16. M. Maher. Propositional defeasible logic has linear complexity. Theory and Practice of Logic Programming, (6), 2001.
17. M.J. Maher, A. Rock, G. Antoniou, D. Billignton, and T. Miller. Efficient defeasible reasoning systems. International Journal of Artificial Intelligence Tools, 10(4):483-501, 2001.
18. D. Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3. OUP, 1987.
19. D. Nute. Norms, priorities, and defeasible logic. In P. McNamara and H. Prakken, editors, Proc. DEON 1998. IOS, Amsterdam, 1998.
20. J. Pitt, editor. Open Agent Societies: Normative Specifications in MAS. Wiley, Chichester, 2003.
21. H. Prakken and G. Sartor. A dialectical model of assessing conflicting arguments in legal reasoning. AI and Law, 4:331-368, 1996.
22. F. Santos, A.J.I. Jones, and J. Carmo. Action concepts for describing organised interaction. In Hawaii International Conference on System Sciences. IEEE, Los Alamitos, 1997.
23. G. Sartor. Legal Reasoning. Springer, Dordrecht, 2005.
24. J.R. Searle. The Construction of Social Reality. Penguin, Harmondsworth, 1995.
25. G. Simari and R. Loui. A mathematical treatment of argumentation and its implementation. Artificial Intelligence, 53:125-157, 1992.