Autor der Publikation

A Common Basis for Agent Organisation in BDI Languages.

, , und . LADS, Volume 5118 von Lecture Notes in Computer Science, Seite 71-88. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

System Description: Embedding Verification into Microsoft Excel., und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 497-501. Springer, (2000)Plan Indexing for State-Based Plans.. DALT, Volume 7169 von Lecture Notes in Computer Science, Seite 3-15. Springer, (2011)Predicting the Metabolic Energy Costs of Bipedalism using Evolutionary robotics, , und . Journal of Experimental Biology, (2003)SIGAI annual report: July 1 2020 - June 30 2021., , , , , , , , , und . AI Matters, 7 (3): 5-11 (2021)SIGAI Annual Report: July 1 2022 - August 30 2023., , , , , , , , , und . AI Matters, 9 (3): 4-9 (September 2023)Events.. AI Matters, 6 (3): 5 (2020)Practical Verification of Decision-Making in Agent-Based Autonomous Systems., , , , und . CoRR, (2013)Reconfigurable Autonomy., , , , , , und . Künstliche Intell., 28 (3): 199-207 (2014)Formal verification of ethical choices in autonomous systems., , , und . Robotics Auton. Syst., (2016)Enhancing Theorem Prover Interfaces with Program Slice Information.. UITP@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 19-33. Elsevier, (2006)