( en | de | ru )

 

Disambiguierung von "Martelli, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Framework for a Modal Logic Programming.

, , und . JICSLP, Seite 52-66. MIT Press, (1996)

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

Edge detection using heuristic search methods.. Comput. Graph. Image Process., 1 (2): 169-182 (1972)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)Dynamic Programming as Graph Searching: An Algebraic Approach., , und . J. ACM, 28 (4): 737-751 (1981)On the Complexity of Admissible Search Algorithms.. Artif. Intell., 8 (1): 1-13 (1977)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)Personalization, Verification and Conformance for Logic-based Communicating Agents., , , , , , und . WOA, Seite 177-183. Pitagora Editrice Bologna, (2005)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)