Autor der Publikation

Observation Strategies for Event Detection with Incidence on Runtime Verification.

, , und . RCRA@CPAIOR, Volume 616 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)

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

Social Manifestation of Guilt Leads to Stable Cooperation in Multi-Agent Systems., , , und . AAMAS, Seite 1422-1430. ACM, (2017)Automated Reasoning in Geometry Theorem Proving with Prolog., und . J. Autom. Reason., 2 (4): 329-390 (1986)Knowledge Assimilation in Domains of Actions: A Possible Causes Approach., und . J. Appl. Non Class. Logics, 7 (1): 77-116 (1997)Contradiction Removal within Well Founded Semantics., , und . LPNMR, Seite 105-119. The MIT Press, (1991)A Regulation Dilemma in Artificial Intelligence Development., , , und . ALIFE, Seite 65. MIT Press, (2021)Representing a Computer Science Research Organization on the ACM Computing Classification System., , und . ICCS Supplement, Volume 354 von CEUR Workshop Proceedings, Seite 57-65. CEUR-WS.org, (2008)Why Is It So Hard to Say Sorry? Evolution of Apology with Commitments in the iterated Prisoner's Dilemma., , , und . IJCAI, Seite 177-183. IJCAI/AAAI, (2013)SLWV - A Theorem Prover for Logic Programming., , und . ELP, Volume 660 von Lecture Notes in Computer Science, Seite 1-23. Springer, (1992)Proactive Intention Recognition for Home Ambient Intelligence., und . Intelligent Environments (Workshops), Volume 8 von Ambient Intelligence and Smart Environments, Seite 91-100. IOS Press, (2010)Preferring and Updating in Logic-Based Agents., und . INAP (LNCS Volume), Volume 2543 von Lecture Notes in Computer Science, Seite 70-85. Springer, (2001)