Multi-content systems as a specification framework for complex reasoning systems

Authors:
Enrico Giunchiglia;Paolo Traverso;Fausto Giunchiglia
Affiliations:
-;-;-
Venue:
Formal specification of complex reasoning systems
Year:
1993

Citing 0
Cited 4

Temporalizing Epistemic Default Logic

Journal of Logic, Language and Information
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

Journal of Logic, Language and Information
Handling imperfect knowledge handling in Milord II for the identification of marine sponges

Applications of Uncertainty Formalisms
Agent communication in ubiquitous computing: the Ubismart approach

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2

Quantified Score

Hi-index	0.00

Visualization

Abstract