Autor der Publikation

Halting Problem of One Binary Horn Clause id Undecidable.

, , und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 5-14. Mathematical Sciences Institute, Cornell University, (1992)

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

The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable., , und . ILPS, Seite 250-265. MIT Press, (1993)Runnable Specifications of Interactions for Open Multi-Agent Systems., , und . IKE, Seite 431-437. CSREA Press, (2003)Halting Problem of One Binary Horn Clause id Undecidable., , und . Structural Complexity and Recursion-theoretic methods in Logic-Programming, Seite 5-14. Mathematical Sciences Institute, Cornell University, (1992)Team of cognitive agents with a leader: how to let them acquire autonomy., , und . CIG, IEEE, (2005)Une stratégie de négociation multi-agents pour réduire la durée moyenne de réalisation., , , und . JFSMA, Seite 31-40. Cépaduès, (2021)Réaffectation de tâches de la théorie à la pratique : état de l'art et retour d'expérience., , , , und . JFSMA, Seite 51-60. Cépaduès, (2021)Planning for Spatially Situated Agents., , und . IAT, Seite 385-388. IEEE Computer Society, (2004)Un système multi-agent adaptatif pour la réallocation de tâches au sein d'un job MapReduce., , , , und . Rev. Ouverte Intell. Artif., 3 (5-6): 557-585 (2022)A Motivation-Based Mechanism to Design Behaviors., und . ECAI, Volume 215 von Frontiers in Artificial Intelligence and Applications, Seite 1067-1068. IOS Press, (2010)Towards a Pragmatic Use of Ontologies in Multi-agent Platforms., , und . KES, Volume 2773 von Lecture Notes in Computer Science, Seite 1395-1402. Springer, (2003)