Message-Generated Kripke Semantics

Jan Van Eijck 1 Floor Sietsma 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Communication dans un congrès
Yolum and Tumer and Stone and Sonenberg. Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), May 2011, Taipei, Taiwan. pp.1183--1184, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00645298
Contributeur : Jurgen Vinju <>
Soumis le : dimanche 27 novembre 2011 - 20:22:26
Dernière modification le : mercredi 14 décembre 2016 - 01:07:19

Identifiants

  • HAL Id : hal-00645298, version 1

Collections

Citation

Jan Van Eijck, Floor Sietsma. Message-Generated Kripke Semantics. Yolum and Tumer and Stone and Sonenberg. Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), May 2011, Taipei, Taiwan. pp.1183--1184, 2011. 〈hal-00645298〉

Partager

Métriques

Consultations de la notice

90