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 | 374 | 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 | 234 | 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 | 149 | 1993 |

LEAF: A Language witch Integrates Logic, Equations and Functions. R Barbuti, M Bellia, G Levi, M Martelli Logic Programming: Function, Relations and Equations, 1986 | 85 | 1986 |

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

An ontology-based similarity between sets of concepts V Cordı, P Lombardi, M Martelli, V Mascardi Proceedings of WOA, Italy, 16-21, 2005 | 56 | 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 | 49 | 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: a 25-Year Perspective, 5-32, 1999 | 46 | 1999 |

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 | 37 | 1999 |

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 | 35 | 1984 |

Objects in forum G Delzanno, M Martelli | 34 | 1995 |

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 |

Transactions and updates in deductive databases D Montesi, E Bertino, M Martelli IEEE transactions on knowledge and data engineering 9 (5), 784-797, 1997 | 32 | 1997 |

Strict completion of logic programs W Drabent, M Martelli New Generation Computing 9, 69-79, 1991 | 32 | 1991 |

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 | 28 | 2012 |

A new SLDNF-tree M Martelli, C Tricomi Information Processing Letters 43 (2), 57-62, 1992 | 28 | 1992 |

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 | 28 | 1986 |

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 | 25 | 1999 |

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 | 25 | 1998 |