Bisimulation for Single-Agent Plausibility Models.

Autor: Andersen, Mikkel Birkegaard, Bolander, Thomas, van Ditmarsch, Hans, Jensen, Martin Holm
Zdroj: AI 2013: Advances in Artificial Intelligence; 2013, p277-288, 12p
Databáze: Complementary Index