Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00645298
Contributor : Jurgen Vinju Connect in order to contact the contributor
Submitted on : Sunday, November 27, 2011 - 8:22:26 PM
Last modification on : Thursday, January 20, 2022 - 4:12:27 PM

Identifiers

  • HAL Id : hal-00645298, version 1

Collections

Citation

Jan van Eijck, Floor Sietsma. Message-Generated Kripke Semantics. Proc. of 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), May 2011, Taipei, Taiwan. pp.1183--1184. ⟨hal-00645298⟩

Share

Metrics

Record views

25