Maurizio Martelli
Maurizio Martelli
Verified email at unige.it
TitleCited byYear
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
3511989
The s-semantics approach: Theory and applications
A Bossi, M Gabbrielli, G Levi, M Martelli
The Journal of Logic Programming 19, 149-197, 1994
2181994
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
1421993
LEAF: A Language witch Integrates Logic, Equations and Functions.
R Barbuti, M Bellia, G Levi, M Martelli
Prentice-Hall, 1986
761986
Integrity constraints in logic databases
P Asirelli, M De Santis, M Martelli
The Journal of Logic Programming 2 (3), 221-232, 1985
651985
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
552004
An ontology-based similarity between sets of concepts
V Cordı, P Lombardi, M Martelli, V Mascardi
Proceedings of WOA, Italy, 16-21, 2005
522005
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
422008
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
391999
Transactions and updates in deductive databases
D Montesi, E Bertino, M Martelli
IEEE transactions on knowledge and data engineering 9 (5), 784-797, 1997
371997
Objects in Forum.
G Delzanno, M Martelli
ILPS, 115-129, 1995
351995
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
342003
Specification and Simulation of Multi-Agent Systems in CaseLP.
M Martelli, V Mascardi, F Zini
APPIA-GULP-PRODE, 13-28, 1999
321999
Strict completion of logic programs
W Drabent, M Martelli
New Generation Computing 9 (1), 69-79, 1991
281991
A new SLDNF-tree
M Martelli, C Tricomi
Information Processing Letters 43 (2), 57-62, 1992
271992
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
271984
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
241999
Completeness of the SLDNF-resolution for a class of logic programs
R Barbuti, M Martelli
International Conference on Logic Programming, 600-614, 1986
241986
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
211999
Towards multi-agent software prototyping
M Martelli, V Mascardi, F Zini
Proc. of PAAM 98, 331-354, 1998
211998
The system can't perform the operation now. Try again later.
Articles 1–20