e CIG: Conference Papers


Conference Papers

Autor:Bulling, Nils and Hindriks, Koen V.
Titel:Taming the Complexity of Linear Time BDI Logics
Buchtitel:Proceedings of the 10th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011)
Jahr:2011
Seiten:275-282
Herausgeber:ACM Press
BibTeX-Code:
@inproceedings{BullingHindriks11BDI,
author={Bulling, Nils and Hindriks, Koen V.},
title={Taming the Complexity of Linear Time BDI Logics},
booktitle={Proceedings of the 10th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2011)},
year={2011},
pages={275-282},
publisher={ACM Press},
}


zurück zur Übersicht
 

Kontakt  Suche  Sitemap  Datenschutz  Impressum
© TU Clausthal 2018