Maurizio Martelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
1983–2012
Best venue rank
B
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | AVI | Investigative analysis across documents and drawings: visual analytics for archaeologists. | Vincenzo Deufemia, Luca Paolino, Genoveffa Tortora, Antonella Traverso, Viviana Mascardi, Massimo Ancona, Maurizio Martelli, Nicoletta Bianchi, Henry de Lumley |
| 2005 | EUMAS | BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. | Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi |
| 2003 | SEKE | From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. | Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio |
| 2001 | FLOPS | An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 2000 | PPDP | A bottom-up semantics for linear logic programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 1999 | PADL | Multi-agent Systems Development as a Software Engineering Enterprise. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini |
| 1996 | ICLP | A Linear Logic Calculus Objects. | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
| 1991 | ICLP | Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. | Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi |
| 1988 | ICLP | A New Declarative Semantics for Logic Languages. | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
| 1986 | ICLP | Completeness of the SLDNF-resolution for a class of logic programs. | Roberto Barbuti, Maurizio Martelli |
| 1983 | ICLP | On Compiling Prolog Programs on Demand Driven Architectures. | Marco Bellia, Giorgio Levi, Maurizio Martelli |