Characterising deadlines in temporal modal defeasible logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4830 LNAI, Issue , 2007, Pages 486-496

  Governatori, Guido ^a   Hulstijn, Joris ^b   Riveret, Régis ^c   Rotolo, Antonino ^c  

^a UNIVERSITY OF QUEENSLAND   (Australia)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

^c UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL OPERATORS; MODAL ANALYSIS;

DEONTIC OPERATORS; TEMPORAL MODAL DEFEASIBLE LOGIC;

TEMPORAL LOGIC;

EID: 38349074391     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76928-6_50     Document Type: Conference Paper

References (11)

1. Allen, J.F.: Towards a general theory of action and time. Art. Intelligence 23, 123-154 (1984)
2. Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255-287 (2001)
3. Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.: Designing a deontic logic of deadlines. In: Lomuscio, A.R., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 43-56. Springer, Heidelberg (2004)
4. Dignum, F., Kuiper, R.: Specifying deadlines with obligations and dense time. International Journal of Electronic Commerce 3(2), 67-85 (1998)
5. Dignum, F., Weigand, H., Verharen, E.: Meeting the deadline: on the formal specification of temporal deontic constraints. In: Michalewicz, M., Raś, Z.W. (eds.) ISMIS 1996. LNCS, vol. 1079, pp. 243-252. Springer, Heidelberg (1996)
6. Governatori, G.: Representing business contracts in RuleML. International Journal of Cooperative Information Systems 14(2-3), 181-216 (2005)
7. Governatori, G., Padmanabhan, V., Rotolo, A.: Rule-based agents in temporalised defeasible logic. In: Yang, Q., Webb, G. (eds.) PRICAI 2006. LNCS (LNAI), vol. 4099, pp. 31-10. Springer, Heidelberg (2006)
8. Governatori, G., Palmirani, M., Riveret, R., Rotolo, A., Sartor, G.: Norm modifications in defeasible logic. In: Proceedings of JURIX 2005, pp. 13-22 (2005)
9. Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proceedings of ICAIL 2005, pp. 25-34 (2005)
10. Muller, N.J.: Managing service level agreements. International Journal of Network Management 9(3), 155-166 (1999)
11. Vilain, M., Kautz, H., van Beek, P.: Constraint propagation algorithms for temporal reasoning. In: Readings in qualitative reasoning about physical systems, Morgan Kaufmann, San Francisco (1989)