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 | 360 | 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 | 224 | 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 | 147 | 1993 |

LEAF: A Language witch Integrates Logic, Equations and Functions. R Barbuti, M Bellia, G Levi, M Martelli Prentice-Hall, 1986 | 80 | 1986 |

Integrity constraints in logic databases P Asirelli, M De Santis, M Martelli The Journal of Logic Programming 2 (3), 221-232, 1985 | 71 | 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 | 61 | 2004 |

An ontology-based similarity between sets of concepts V Cordı, P Lombardi, M Martelli, V Mascardi Proceedings of WOA, Italy, 16-21, 2005 | 55 | 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 | 46 | 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 | 42 | 1999 |

Objects in Forum. G Delzanno, M Martelli ILPS, 115-129, 1995 | 38 | 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 | 35 | 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 | 33 | 2003 |

Specification and Simulation of Multi-Agent Systems in CaseLP. M Martelli, V Mascardi, F Zini APPIA-GULP-PRODE, 13-28, 1999 | 33 | 1999 |

Completeness of the SLDNF-resolution for a class of logic programs R Barbuti, M Martelli International Conference on Logic Programming, 600-614, 1986 | 32 | 1986 |

Strict completion of logic programs W Drabent, M Martelli New Generation Computing 9 (1), 69-79, 1991 | 30 | 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 | 29 | 1984 |

A new SLDNF-tree M Martelli, C Tricomi Information Processing Letters 43 (2), 57-62, 1992 | 27 | 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 | 26 | 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 | 23 | 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 | 23 | 1999 |