Autor der Publikation

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

Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach., , und . CARE/MFSC@AAMAS, Volume 541 von Communications in Computer and Information Science, Seite 167-184. Springer, (2015)Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract., , , , und . AAMAS, Seite 1259-1260. ACM, (2016)A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning., , und . J. Log. Comput., 8 (5): 597-635 (1998)A Modal Extension of Logic Programming., , und . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions., , und . WOA, Seite 49-55. Pitagora Editrice Bologna, (2002)ArsMeteo: artworks and tags floating over the planet art., , , , , und . Hypertext, Seite 331-332. ACM, (2009)Commitments with regulations: reasoning about safety and control in REGULA., , , , , und . AAMAS, Seite 467-474. IFAAMAS, (2011)Verification of Protocol Conformance and Agent Interoperability., , , und . CLIMA, Volume 3900 von Lecture Notes in Computer Science, Seite 265-283. Springer, (2005)An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming., , , und . NMELP, Volume 1216 von Lecture Notes in Computer Science, Seite 132-150. Springer, (1996)Programming Goal-Driven Web Sites Using an Agent Logic Language., , , und . PADL, Volume 1990 von Lecture Notes in Computer Science, Seite 60-75. Springer, (2001)