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 |
Externí odkaz: |