Temporal reasoning and MAS

Combined Proceedings of the International Symposium on Social Network Analysis and Norms for MAS - A Symposium at the AISB 2010 Convention

Volumn , Issue , 2010, Pages 46-52

  Smith, Clara ^a   Rotolo, Antonino ^b   Sartor, Giovanni ^b,c  

^a UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c EUROPEAN UNIVERSITY INSTITUTE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DEONTIC; GOOD FAITH; LEGAL PRINCIPLES; MULTI AGENT SYSTEM (MAS); TEMPORAL REASONING;

MULTI AGENT SYSTEMS;

SOCIAL NETWORKING (ONLINE);

EID: 84863909714     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. A. Artikis, J. Pitt, M. Sergot. Animated Specifications of Computational Societies. AAMAS 2002, ACM.
2. R. Kowalski, M. Sergot. A logic-based calculus of events. New Generation computing, 4(1):67-96, 1986.
3. G. Boella, G. Governatori, J. Hulstijn, R. Riveret, A. Rotolo, L. van der Torre. Time and Defeasibility in FIPA ACL Semantics. WLIAMAS 08.
4. G. Governatori, G. Sartor, A. Rotolo. Temporalised normative positions in defeasible logic. Proceedings of ICAIL 2005, ACM Press.
5. C. Castelfranchi, R. Falcone,'Social trust: a cognitive approach', in Trust and Deception in Virtual Societies, Springer, 2001.
6. R. Demolombe, C-J. Liau. A Logic of Graded Trust and Belief Fusion. 4th Wshop on Deception, Fraud and Trust in Agent Societies. 2001.
7. J.-J. CH. Meyer, R. J. Wieringa. Deontic logic: a Concise Overview. In: Deontic Logic in Computer Science: Normative System Specification. J.-J. CH. Meyer, R. J. Wieringa (eds.) 1993, Wiley.
8. J. A. van Eck. A system of temporally relative modal and deontic predicate logic and its philosophical applications. Logique et Analyse, 100, 1982, 249-381.
9. T. Maibaum, J. Fiadeiro, and S. Khosla. Temporal reasoning over deontic specifications. In Deontic logic in computer science: normative system specification, John Wiley and Sons Ltd., Chichester, 1994.
10. A. N. Prior. Time and Modality. Oxford Press, 1957.
11. M. Franceschet, A. Montanari, M. De Rijke. Model checking for combined logics with an application to mobile systems. Autom. Softw. Eng. 11(3), 289-321, 2004.
12. A.J.I. Jones, M. Sergot. A Logical Framework. Open Agent Societies: Normative Specifications in Multi-Agent Systems, Wiley, 2003.
13. A. Rotolo, G. Sartor, C. Smith. Good Faith in Contract Negotiation and Performance. IJBPIM Journal, Inderscience. 4(3) :154-173. doi: 10.1504/IJBPIM.2009.030983.
14. A. Rotolo, C. Smith. Collective Trust and Normative Agents. Logic Journal of IGPL 2010; doi: 10.1093/jigpal/jzp076.
15. S. K. Thomason. Semantic Analysis of Tense Logics. JSL, 35:150- 158, 1972.
16. R. Goldblatt. Mathematical Modal Logic: A View of its Evolution. Handbook of the History of logic. V. 6. 2005, Elsevier.
17. Y. Venema. Temporal Logic. L. Goble ed., The Blackwell Guide to Philosophical Logic. Blackwell Publishers, USA. 203-223, 2001.
18. P. Blackburn, M de Rijke, Y. Venema. Modal Logic. Cambridge, 2001.
19. D. Elgesem. The Modal Logic of Agency. Nordic Journal of Philosophical Logic, 1997.
20. G. Governatori, A. Rotolo. On the axiomatisation of Elgesem's logic of agency and ability. Journal Philosophical Logic, 2005, 34: 403-431.
21. M. Finger, D. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 2:203-233, 1992.
22. H. Herrestad, C. Krogh. Deontic Logic relativised to Bearers and Counterparties. J. Bing and O. Torvund eds., Anniversary Antology in Computers and Law -TANO 1995, pp 453-522.
23. D. Memmo, G. Sartor, G. Quadri.'Trust, reliance, good faith and the law', in Trust Management, Springer. 2003.
24. H. MacQueen.'Good faith in the Scots law of contract: an undisclosed principle?'. In Good Faith in Contract and Property Law, Hart. 1999.
25. R. Brownsword, N. Bird, G. Howells. Good faith in contract: concept and context, in Good Faith in Contract, Ashgate. 1998.
26. M. Storme. Good faith in the contents of contracts in European Private Law. Elec. Journ. Comparative Law, 2003.
27. A. Musy. The good faith principle in Contract Law and the precontractual duty to disclose, in Global Jurist Advances. 2001.
28. S. Whittaker, R. Zimmermann. Good Faith in European Contract Law. Cambridge University Press, 2000.
29. T. Bolander, P. Blackburn. Terminating Tableau Calculi for Hybrid Logics extending K. www.elsevier.nl/locate/entcs. 2007.
30. C. Areces, C. Monz, H de Nivelle, M. de Rijke. The Guarded Fragment. Ins and Outs. In J. Gerbrandy, et al eds., JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday, Vossiuspers, AUP, Amsterdam, 1999.