Keyword : Kripke structure


Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus
Yoshinori TANABE Toshifusa SEKIZAWA Yoshifumi YUASA Koichi TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D  No. 5 ; pp. 995-1002
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Foundation
Keyword: 
modal µ-calculusKripke structurepreconditionpostconditionpointer
 Summary | Full Text:PDF

Simplified Semantic Structures for Representing Belief States in Multi-Agent Environments
Hirofumi KATSUNO Hideki ISOZAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/01/01
Vol. E84-D  No. 1 ; pp. 129-141
Type of Manuscript:  PAPER
Category: Artificial Intelligence, Cognitive Science
Keyword: 
modal logicintelligent agentKripke structurebelief
 Summary | Full Text:PDF