e CIG: Conference Papers


Conference Papers

Autor:Bulling, Nils and Farwer, Berndt
Bearbeiter:Helder Coelho and Michael Wooldridge
Titel:On the (Un-)Decidability of Model-Checking Resource-Bounded Agents
Buchtitel:Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)
Jahr:2010
Seiten:567-572
BibTeX-Code:
@inproceedings{BullingFarwer2010RAL-ECAI,
author={Bulling, Nils and Farwer, Berndt},
editor={Helder Coelho and Michael Wooldridge},
title={On the (Un-)Decidability of Model-Checking Resource-Bounded Agents},
booktitle={Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)},
year={2010},
pages={567-572},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2019