Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Some applications of Computational Logic to the development of intelligent systems and verification methods.

V. Mascardi, G. Delzanno, and M. Martelli. Intelligenza Artificiale, 5 (1): 145-149 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Maurizio Pirro University of Stuttgart

Maurizio Calandri University of Stuttgart

Other publications of authors with the same name

Object calculi in linear logic.M. Bugliesi, G. Delzanno, L. Liquori, and M. Martelli. J. Log. Comput., 10 (1): 75-104 (2000)Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.C. Aquilano, R. Barbuti, P. Bocchetti, and M. Martelli. J. Autom. Reasoning, 2 (2): 155-170 (1986)Logic-Based Specification Languages for Intelligent Software Agents.V. Mascardi, M. Martelli, and L. Sterling. TPLP, 4 (4): 429-494 (2004)Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP.R. Albertoni, M. Martelli, V. Mascardi, and S. Miglia. WOA, page 149-156. Pitagora Editrice Bologna, (2002)Proofs as Computations in Linear Logic.G. Delzanno, and M. Martelli. APPIA-GULP-PRODE, page 155-166. (1996)Applying Logic Programming to the Specification of Complex Applications.M. Martelli, V. Mascardi, and F. Zini. APPIA-GULP-PRODE, page 491-500. (1997)A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.M. Bozzano, G. Delzanno, and M. Martelli. APPIA-GULP-PRODE, page 105-116. (1997)From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents.M. Martelli, and V. Mascardi. APPIA-GULP-PRODE, page 275-286. (2003)Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.A. Pierro, M. Martelli, and C. Palamidessi. ICLP, page 32-45. MIT Press, (1991)Computational Logic in Genova.V. Mascardi, G. Delzanno, and M. Martelli. Il Milione, volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

PUMA

Disambiguation of "Martelli, Maurizio"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Some applications of Computational Logic to the development of intelligent systems and verification methods.

Please choose a person to relate this publication to

Maurizio Pirro University of Stuttgart

Maurizio Calandri University of Stuttgart

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Martelli, Maurizio"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Some applications of Computational Logic to the development of intelligent systems and verification methods.

Please choose a person to relate this publication to

Maurizio Pirro University of Stuttgart

Maurizio Calandri University of Stuttgart

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Some applications of Computational Logic to the development of intelligent systems and verification methods.