Erschienen in: Open Access 01.08.2009 Models and methods for plan diagnosis verfasst von: Nico Roos, Cees Witteveen Erschienen in: Autonomous Agents and Multi-Agent Systems | Ausgabe 1/2009 Diesen Artikel als PDF-Version lesen. loading … Vorheriger Artikel Toward a programming theory for rational agents Nächster Artikel Modal tableaux for verifying stream authentication protocols download DOWNLOAD print DRUCKEN