Follow
Maurizio Martelli
Maurizio Martelli
Verified email at unige.it
Title
Cited by
Cited by
Year
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
3741989
The s-semantics approach: Theory and applications
A Bossi, M Gabbrielli, G Levi, M Martelli
The Journal of Logic Programming 19, 149-197, 1994
2341994
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
1491993
LEAF: A Language witch Integrates Logic, Equations and Functions.
R Barbuti, M Bellia, G Levi, M Martelli
Logic Programming: Function, Relations and Equations, 1986
851986
Integrity constraints in logic databases
P Asirelli, M De Santis, M Martelli
The Journal of Logic Programming 2 (3), 221-232, 1985
771985
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
602004
An ontology-based similarity between sets of concepts
V Cordı, P Lombardi, M Martelli, V Mascardi
Proceedings of WOA, Italy, 16-21, 2005
572005
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
492008
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: a 25-Year Perspective, 5-32, 1999
471999
Specification and simulation of multi-agent systems in CaseLP
M Martelli, V Mascardi, FL Zini
APPIA-GULP-PRODE'99: Joint conference on declarative programming, L'Aquila …, 1999
371999
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
361984
Objects in forum
G Delzanno, M Martelli
341995
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
332003
Transactions and updates in deductive databases
D Montesi, E Bertino, M Martelli
IEEE transactions on knowledge and data engineering 9 (5), 784-797, 1997
321997
Strict completion of logic programs
W Drabent, M Martelli
New Generation Computing 9, 69-79, 1991
321991
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
282012
A new SLDNF-tree
M Martelli, C Tricomi
Information Processing Letters 43 (2), 57-62, 1992
281992
Completeness of the SLDNF-resolution for a class of logic programs
R Barbuti, M Martelli
Third International Conference on Logic Programming: Imperial College of …, 1986
281986
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
251999
Multi-agent systems development as a software engineering enterprise
M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini
Practical Aspects of Declarative Languages: First International Workshop …, 1998
251998
The system can't perform the operation now. Try again later.
Articles 1–20