Mechanizing Multi-Agent Reasoning with Belief Contexts

Authors:
Alessandro Cimatti;Luciano Serafini
Affiliations:
-;-
Venue:
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
Year:
1996

Modelling (Un)Bounded Beliefs

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Formal Context and Morphological Analysis

CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Two Formalizations of Context: A Comparison

CONTEXT '01 Proceedings of the Third International and Interdisciplinary Conference on Modeling and Using Context
Exploring the Future with Resource-Bounded Agents

Journal of Logic, Language and Information

Hi-index	0.00