Maurizio Martelli

85 papers A 1B 6C 4Misc 2Journal 23Unranked 44
YearRankTypeTitle / Venue / Authors
2015 J jnl
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.
Fundam. Informaticae
Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini
2013 — conf
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.
CILC
Paolo Gentilini, Maurizio Martelli
2012 B conf
Investigative analysis across documents and drawings: visual analytics for archaeologists.
AVI
Vincenzo Deufemia, Luca Paolino, Genoveffa Tortora, Antonella Traverso, Viviana Mascardi, Massimo Ancona, Maurizio Martelli, Nicoletta Bianchi, Henry de Lumley
2012 — conf
The Indiana MAS Project: Goals and Preliminary Results.
WOA
Angela Locoro, Viviana Mascardi, Daniela Briola, Maurizio Martelli, Massimo Ancona, Vincenzo Deufemia, Luca Paolino, Genny Tortora, Giuseppe Polese, Rita Francese
2011 J jnl
Some applications of Computational Logic to the development of intelligent systems and verification methods.
Intelligenza Artificiale
Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
2010 J jnl
Abstract deduction and inferential models for type theory.
Inf. Comput.
Paolo Gentilini, Maurizio Martelli
2010 — conf
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
MALLOW
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2010 — conf
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
WOA
Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
2010 — conf
Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti.
CILC
Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi
2009 — conf
Dynamic Resource Allocation in a MAS: A Case Study from the Industry.
WOA
Daniela Briola, Viviana Mascardi, Maurizio Martelli, Riccardo Caccia, Carlo Milani
2008 — conf
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments.
WOA
Daniela Briola, Viviana Mascardi, Maurizio Martelli, Gabriele Arecco, Riccardo Caccia, Carlo Milani
2008 J jnl
An agent-based framework for sketched symbol interpretation.
J. Vis. Lang. Comput.
Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Gennaro Costagliola, Maurizio Martelli
2008 — conf
Computational Logic in Genova.
Il Milione
Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
2008 Misc conf
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents.
CISIS
Viviana Mascardi, Daniela Briola, Maurizio Martelli, Riccardo Caccia, Carlo Milani
2008 — conf
Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents.
VISUAL
Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Maurizio Martelli, Genoveffa Tortora
2007 — conf
DCaseLP: A Prototyping Environment for Multi-language Agent Systems.
LADS
Viviana Mascardi, Maurizio Martelli, Ivana Gungui
2007 — conf
Preface to the Proceedings of WOA 2007.
WOA
Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi
2007 — ed.
WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy
WOA
Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi
2006 B conf
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches.
VL/HCC
Giovanni Casella, Gennaro Costagliola, Vincenzo Deufemia, Maurizio Martelli, Viviana Mascardi
2005 — conf
An Ontology-Based Similarity between Sets of Concepts.
WOA
Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi
2005 C conf
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.
EUMAS
Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi
2004 J jnl
Logic-Based Specification Languages for Intelligent Software Agents.
Theory Pract. Log. Program.
Viviana Mascardi, Maurizio Martelli, Leon Sterling
2004 J jnl
Model Checking Linear Logic Specifications.
Theory Pract. Log. Program.
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2004 — conf
Reasoning About Agents' Interaction Protocols Inside DCaseLP.
DALT
Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella
2003 — conf
A Multimedia, Multichannel, and Personalized News Provider.
MIPS
M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri
2003 A conf
Customizing AOSE methodologies by reusing AOSE features.
AAMAS
Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi
2003 C conf
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
SEKE
Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio
2003 — conf
From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents.
APPIA-GULP-PRODE
Maurizio Martelli, Viviana Mascardi
2003 J jnl
Logic-Based Specification Languages for Intelligent Software Agents
CoRR
Viviana Mascardi, Maurizio Martelli, Leon Sterling
2003 J jnl
Model Checking Linear Logic Specifications
CoRR
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2002 J jnl
An effective fixpoint semantics for linear logic programs.
Theory Pract. Log. Program.
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2002 — conf
Logic-Based Languages to Model and Program Intelligent Agents.
APPIA-GULP-PRODE
Maurizio Martelli, Viviana Mascardi, Leon Sterling
2002 — conf
Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP.
WOA
Riccardo Albertoni, Maurizio Martelli, Viviana Mascardi, Stefano Miglia
2001 Misc conf
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.
FLOPS
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2001 J jnl
An Effective Fixpoint Semantics for Linear Logic Programs
CoRR
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2001 — conf
An embedding of calculi for negation as failure into linear logic.
APPIA-GULP-PRODE
Giorgio Delzanno, Maurizio Martelli
2001 — conf
On the Relations between Disjunctive and Linear Logic Programming.
APPIA-GULP-PRODE
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2001 J jnl
Proofs as computations in linear logic.
Theor. Comput. Sci.
Giorgio Delzanno, Maurizio Martelli
2000 C conf
A bottom-up semantics for linear logic programs.
PPDP
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2000 — conf
HEMASL: A Flexible Language to Specify Heterogeneous Agents.
WOA
Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini
2000 J jnl
Object calculi in linear logic.
J. Log. Comput.
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
2000 — conf
Specification of Heterogeneous Agent Architectures.
ATAL
Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999 J jnl
A specification logic for concurrent object-oriented programming.
Math. Struct. Comput. Sci.
Giorgio Delzanno, Didier Galmiche, Maurizio Martelli
1999 — ch.
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.
The Logic Programming Paradigm
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999 C conf
Multi-agent Systems Development as a Software Engineering Enterprise.
PADL
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999 — conf
Specification and Simulation of Multi-Agent Systems in CaseLP.
APPIA-GULP-PRODE
Maurizio Martelli, Viviana Mascardi, Floriano Zini
1998 — conf
Towards Multi-Agent Software Prototyping.
PAAM
Maurizio Martelli, Viviana Mascardi, Floriano Zini
1997 — conf
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
APPIA-GULP-PRODE
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
1997 — conf
Applying Logic Programming to the Specification of Complex Applications.
APPIA-GULP-PRODE
Maurizio Martelli, Viviana Mascardi, Floriano Zini
1997 J jnl
Transactions and Updates in Deductive Databases.
IEEE Trans. Knowl. Data Eng.
Danilo Montesi, Elisa Bertino, Maurizio Martelli
1996 — ed.
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996
APPIA-GULP-PRODE
Paqui Lucio, Maurizio Martelli, Marisa Navarro
1996 — conf
A Linear Logic Calculus Objects.
JICSLP
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
1996 — conf
Proofs as Computations in Linear Logic.
APPIA-GULP-PRODE
Giorgio Delzanno, Maurizio Martelli
1995 — conf
Forum Objects.
GULP-PRODE
Giorgio Delzanno, Maurizio Martelli
1995 J jnl
Negation as Instantiation
Inf. Comput.
Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
1995 — conf
Objects in Forum.
ILPS
Giorgio Delzanno, Maurizio Martelli
1994 — conf
A Bottom-Up Interpreter for a Database Language with Updates and Transactions.
GULP-PRODE (2)
Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi
1994 — conf
Fixpoint Semantics of L lambda.
GULP-PRODE (1)
Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa
1994 J jnl
The s-Semantics Approach: Theory and Applications.
J. Log. Program.
Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
1993 — conf
A Bottom-Up Characterization of Finite Success.
ILPS
Giorgio Delzanno, Maurizio Martelli
1993 J jnl
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Inf. Comput.
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1993 — conf
Fixpoint Semantics of L-lambda.
ILPS
Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi
1993 — conf
Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD).
GULP
Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi
1992 J jnl
A New SLDNF-Tree.
Inf. Process. Lett.
Maurizio Martelli, Chiara Tricomi
1992 — conf
CLP (X) as a framework for action and deduction.
CNKBS
Elisa Bertino, Maurizio Martelli, Danilo Montesi
1992 — conf
CLP(AD) as a Deductive Database Language with Updates.
ELP
Elisa Bertino, Maurizio Martelli, Danilo Montesi
1992 — conf
Modeling Database Updates with Constraint Logic Programming.
Workshop on Deductive Databases, JICSLP
Elisa Bertino, Maurizio Martelli, Danilo Montesi
1992 — conf
Modelling Database Updates with Constraint Logic Programming.
FMLDO
Elisa Bertino, Maurizio Martelli, Danilo Montesi
1992 — conf
New Semantic Tools for Logic Programming.
REX Workshop
Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
1991 B conf
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.
ICLP
Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
1991 J jnl
Strict Completion of Logic Programs.
New Gener. Comput.
Wlodzimierz Drabent, Maurizio Martelli
1990 — conf
Failure and Success made Symmetric.
NACLP
Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1990 J jnl
Recognizing Non-Floundering Logic Programs and Goals.
Int. J. Found. Comput. Sci.
Roberto Barbuti, Maurizio Martelli
1989 J jnl
Declarative Modeling of the Operational Behavior of Logic Languages.
Theor. Comput. Sci.
Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
1989 B ed.
Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
ICLP
Giorgio Levi, Maurizio Martelli
1988 — conf
A New Declarative Semantics for Logic Languages.
ICLP/SLP
Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1988 — conf
A Tool to Check the Non-Floundering Logic Programs and Goals.
PLILP
Roberto Barbuti, Maurizio Martelli
1986 B conf
Completeness of the SLDNF-resolution for a class of logic programs.
ICLP
Roberto Barbuti, Maurizio Martelli
1986 — ch.
LEAF: A Language which Integrates Logic, Equations and Functions.
Logic Programming: Functions, Relations, and Equations
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
1986 J jnl
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.
J. Autom. Reason.
C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli
1985 J jnl
Integrity Constraints for Logic Databases.
J. Log. Program.
Patrizia Asirelli, Michele de Santis, Maurizio Martelli
1984 — ch.
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Implementations of Prolog
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
1984 — conf
On the Integration of Logic Programming and Functional Programming.
SLP
Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
1983 B conf
On Compiling Prolog Programs on Demand Driven Architectures.
Logic Programming Workshop
Marco Bellia, Giorgio Levi, Maurizio Martelli
1982 — conf
Applicative communicating processes in first order logic.
Symposium on Programming
Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli