( en | de | ru )

 

Disambiguierung von "Martelli, Maurizio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Effective Fixpoint Semantics for Linear Logic Programs

, , und . CoRR, (2001)

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

Maurizio Podda

Maurizio Venturini

Maurizio Zanazzi

 

Weitere Publikationen von Autoren mit dem selben Namen

Logic-Based Specification Languages for Intelligent Software Agents., , und . Theory Pract. Log. Program., 4 (4): 429-494 (2004)Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions., , , und . J. Autom. Reason., 2 (2): 155-170 (1986)Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP., , , und . WOA, Seite 149-156. Pitagora Editrice Bologna, (2002)Proofs as Computations in Linear Logic., und . APPIA-GULP-PRODE, Seite 155-166. (1996)A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases., , und . APPIA-GULP-PRODE, Seite 105-116. (1997)From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents., und . APPIA-GULP-PRODE, Seite 275-286. (2003)Applying Logic Programming to the Specification of Complex Applications., , und . APPIA-GULP-PRODE, Seite 491-500. (1997)Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming., , und . ICLP, Seite 32-45. MIT Press, (1991)A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language., , , , und . Implementations of Prolog, Ellis Horwood/Halsted Press/Wiley, (1984)Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics., , , , und . The Logic Programming Paradigm, Springer, (1999)