Maurizio Martelli
Maurizio Martelli
Verified email at
Cited by
Cited by
Declarative modeling of the operational behavior of logic languages
M Falaschi, G Levi, C Palamidessi, M Martelli
Theoretical Computer Science 69 (3), 289-318, 1989
The s-semantics approach: Theory and applications
A Bossi, M Gabbrielli, G Levi, M Martelli
The Journal of Logic Programming 19, 149-197, 1994
A model-theoretic reconstruction of the operational semantics of logic programs
M Falaschi, G Levi, M Martelli, C Palamidessi
Information and Computation 103 (1), 86-113, 1993
LEAF: A Language witch Integrates Logic, Equations and Functions.
R Barbuti, M Bellia, G Levi, M Martelli
Prentice-Hall, 1986
Integrity constraints in logic databases
P Asirelli, M De Santis, M Martelli
The Journal of Logic Programming 2 (3), 221-232, 1985
Logic-based specification languages for intelligent software agents
V Mascardi, M Martelli, L Sterling
Theory and Practice of Logic Programming 4 (4), 429-494, 2004
An ontology-based similarity between sets of concepts
V Cordı, P Lombardi, M Martelli, V Mascardi
Proceedings of WOA, Italy, 16-21, 2005
An agent-based framework for sketched symbol interpretation
G Casella, V Deufemia, V Mascardi, G Costagliola, M Martelli
Journal of Visual Languages & Computing 19 (2), 225-257, 2008
Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics
M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini
The Logic Programming Paradigm, 5-32, 1999
Objects in Forum.
G Delzanno, M Martelli
ILPS, 115-129, 1995
Transactions and updates in deductive databases
D Montesi, E Bertino, M Martelli
IEEE transactions on knowledge and data engineering 9 (5), 784-797, 1997
Customizing AOSE methodologies by reusing AOSE features
T Juan, L Sterling, M Martelli, V Mascardi
Proceedings of the second international joint conference on Autonomous …, 2003
Specification and Simulation of Multi-Agent Systems in CaseLP.
M Martelli, V Mascardi, F Zini
APPIA-GULP-PRODE, 13-28, 1999
Completeness of the SLDNF-resolution for a class of logic programs
R Barbuti, M Martelli
International Conference on Logic Programming, 600-614, 1986
Strict completion of logic programs
W Drabent, M Martelli
New Generation Computing 9 (1), 69-79, 1991
On the integration of logic programming and functional programming
R Barbuti, M Bellia, G Levi, M Martelli
International Symposium on Logic Programming, IEEE, 160-166, 1984
A new SLDNF-tree
M Martelli, C Tricomi
Information Processing Letters 43 (2), 57-62, 1992
Investigative analysis across documents and drawings: visual analytics for archaeologists
V Deufemia, L Paolino, G Tortora, A Traverso, V Mascardi, M Ancona, ...
Proceedings of the international working conference on advanced visual …, 2012
Prototyping freight trains traffic management using multi-agent systems
A Cuppari, PL Guida, M Martelli, V Mascardi, F Zini
Proceedings 1999 International Conference on Information Intelligence and …, 1999
Multi-agent systems development as a software engineering enterprise
M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini
International Symposium on Practical Aspects of Declarative Languages, 46-60, 1999
The system can't perform the operation now. Try again later.
Articles 1–20