( en | de | ru )

 

Disambiguierung von "Martelli, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Temporal deontic action logic for the verification of compliance to norms in ASP.

, , und . ICAIL, Seite 53-62. ACM, (2013)

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.

Alessandro Martelli

Bettina Martelli

Stefano Martelli

Faustino Martelli

Chiara Martelli

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Unificatioin with Infinite Terms in Logic Programming., und . FGCS, Seite 202-209. OHMSHA Ltd. Tokyo and North-Holland, (1984)Reasoning about interaction protocols for customizing web service selection and composition., , , und . J. Log. Algebraic Methods Program., 70 (1): 53-73 (2007)Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics., , und . J. Log. Program., 26 (1): 31-67 (1996)Reasoning about Interaction for Personalizing Web Service Fruition., , , und . WOA, Seite 29-35. Pitagora Editrice Bologna, (2003)A Multimodal Logic to Define Modules in Logic Programming., , und . ILPS, Seite 473-487. MIT Press, (1993)A Modal Reconstruction of Blocks and Modules in Logic Programming., und . ISLP, Seite 239-253. MIT Press, (1991)Dynamic Programming as Graph Searching: An Algebraic Approach., , und . J. ACM, 28 (4): 737-751 (1981)Reasoning about Self and Others: Communicating Agents in a Model Action Logic., , , und . ICTCS, Volume 2841 von Lecture Notes in Computer Science, Seite 228-241. Springer, (2003)Translating a Modal Language with Embedded Implication into Horn Clause Logic., , und . ELP, Volume 1050 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1996)Negation as Failure and Constraints through Abduction and Defaults., , und . AI*IA, Volume 549 von Lecture Notes in Computer Science, Seite 78-87. Springer, (1991)