Verifying social expectations by model checking truncated paths

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

Volumn 5428, Issue , 2009, Pages 204-219

  Cranefleld, Stephen ^a   Winikoff, Michael ^a,b  

^a UNIVERSITY OF OTAGO   (New Zealand)

^b RMIT UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CONDITIONAL RULES; CONFORMANCE CHECKING; HYBRID LOGIC; MODEL CHECKER;

SOCIETIES AND INSTITUTIONS; TECHNICAL PRESENTATIONS; TEMPORAL LOGIC;

MODEL CHECKING;

EID: 67049159682     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00443-8_14     Document Type: Conference Paper

References (14)

1. Cortés, U.: Electronic institutions and agents. AgentLink News 15, 14-15 (2004)
2. Dragone, L.: Hybrid logics model checker (2005), http://luigidragone.com/ hlmc/
3. Cranefield, S.: A rule language for modelling and monitoring social expectations in multi- agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Os- sowski, S., Sichman, J.S., Vázquez- Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 246-258. Springer, Heidelberg (2006)
4. Markey, N., Schnoebelen, P.: Model checking a path. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 251-265. Springer, Heidelberg (2003)
5. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116(1-2), 123-191 (2000)
6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
7. Eisner, C., Fisman, D., Havlicek, J., Lustig, Y., McIsaac, A., Campenhout, D.V.: Reasoning with temporal logic on truncated paths. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 27-39. Springer, Heidelberg (2003)
8. Franceschet, M., de Rijke, M.: Model checking hybrid logics (with an application to semistructured data). Journal of Applied Logic 4(3), 279-304 (2006)
9. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. In: Trappl, R. (ed.) Cybernetics and Systems 2004. Austrian Society for Cybernetics Studies, vol. II, pp. 570-575 (2004)
10. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003), pp. 528-535. ACM Press, New York (2003)
11. Bentahar, J., Moulin, B., Meyer, J.J.C., Chaib-draa, B.: A logical model for commitment and argument network for agent communication. In: AAMAS 2004, pp. 792-799. IEEE Computer Society, Los Alamitos (2004)
12. Vigano, F., Colombetti, M.: Symbolic model checking of institutions. In: Proceedings of the 9th international conference on electronic commerce, pp. 35-44. ACM Press, New York (2007)
13. Endriss, U.: Temporal logics for representing agent communication protocols. In: Dignum, F.P.M., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol. 3859, pp. 15-29. Springer, Heidelberg (2006)
14. Spoletini, P., Verdicchio, M.: An automata-based monitoring technique for commitment- based multi-agent systems. In: Hubner, J.F., et al. (eds.) COIN 2008. LNCS (LNAI), vol. 5428, pp. 172-187. Springer, Heidelberg (2008)