Maurizio Martelli

According to our database, Maurizio Martelli authored at least 77 papers between 1982 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.

Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini

Fundam. Informaticae, 2015

2013

Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.

Paolo Gentilini, Maurizio Martelli

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012

The Indiana MAS Project: Goals and Preliminary Results.

Angela Locoro, Viviana Mascardi, Daniela Briola, Maurizio Martelli, Massimo Ancona, Vincenzo Deufemia, Luca Paolino, Genny Tortora, Giuseppe Polese, Rita Francese

Proceedings of the 13th Workshop on Objects and Agents, 2012

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

Proceedings of the International Working Conference on Advanced Visual Interfaces, 2012

2011

Some applications of Computational Logic to the development of intelligent systems and verification methods.

Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli

Intelligenza Artificiale, 2011

2010

Abstract deduction and inferential models for type theory.

Paolo Gentilini, Maurizio Martelli

Inf. Comput., 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.

Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti.

Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Dynamic Resource Allocation in a MAS: A Case Study from the Industry.

Daniela Briola, Viviana Mascardi, Maurizio Martelli, Riccardo Caccia, Carlo Milani

Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009

2008

An agent-based framework for sketched symbol interpretation.

Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Gennaro Costagliola, Maurizio Martelli

J. Vis. Lang. Comput., 2008

A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments.

Daniela Briola, Viviana Mascardi, Maurizio Martelli, Gabriele Arecco, Riccardo Caccia, Carlo Milani

Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents.

Giovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Maurizio Martelli, Genoveffa Tortora

Proceedings of the Visual Information Systems. Web-Based Visual Information Search and Management, 2008

Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents.

Viviana Mascardi, Daniela Briola, Maurizio Martelli, Riccardo Caccia, Carlo Milani

Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008

Computational Logic in Genova.

Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli

Proceedings of the Il Milione (i.e. 2^6), 2008

2007

Preface to the Proceedings of WOA 2007.

Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi

Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

DCaseLP: A Prototyping Environment for Multi-language Agent Systems.

Viviana Mascardi, Maurizio Martelli, Ivana Gungui

Proceedings of the Languages, 2007

2006

An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches.

Giovanni Casella, Gennaro Costagliola, Vincenzo Deufemia, Maurizio Martelli, Viviana Mascardi

Proceedings of the 2006 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), 2006

2005

An Ontology-Based Similarity between Sets of Concepts.

Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi

Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.

Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi

Proceedings of the EUMAS 2005, 2005

2004

Logic-Based Specification Languages for Intelligent Software Agents.

Viviana Mascardi, Maurizio Martelli, Leon Sterling

Theory Pract. Log. Program., 2004

Model Checking Linear Logic Specifications.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Theory Pract. Log. Program., 2004

Reasoning About Agents' Interaction Protocols Inside DCaseLP.

Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella

Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003

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

Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

A Multimedia, Multichannel, and Personalized News Provider.

M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri

Proceedings of the Interactive Multimedia on Next Generation Networks, 2003

Customizing AOSE methodologies by reusing AOSE features.

Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents.

Maurizio Martelli, Viviana Mascardi

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

An effective fixpoint semantics for linear logic programs.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Theory Pract. Log. Program., 2002

Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP.

Riccardo Albertoni, Maurizio Martelli, Viviana Mascardi, Stefano Miglia

Proceedings of the WOA 2002: Dagli Oggetti agli Agenti. 3rd AI*IA/TABOO Joint Workshop "From Objects to Agents": From Information to Knowledge, 2002

Logic-Based Languages to Model and Program Intelligent Agents.

Maurizio Martelli, Viviana Mascardi, Leon Sterling

Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001

Proofs as computations in linear logic.

Giorgio Delzanno, Maurizio Martelli

Theor. Comput. Sci., 2001

On the Relations between Disjunctive and Linear Logic Programming.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Proceedings of the Declarative Programming, 2001

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

An embedding of calculi for negation as failure into linear logic.

Giorgio Delzanno, Maurizio Martelli

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Object calculi in linear logic.

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli

J. Log. Comput., 2000

HEMASL: A Flexible Language to Specify Heterogeneous Agents.

Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini

Proceedings of the WOA 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2000

A bottom-up semantics for linear logic programs.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Specification of Heterogeneous Agent Architectures.

Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

1999

A specification logic for concurrent object-oriented programming.

Giorgio Delzanno, Didier Galmiche, Maurizio Martelli

Math. Struct. Comput. Sci., 1999

Multi-agent Systems Development as a Software Engineering Enterprise.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini

Proceedings of the Practical Aspects of Declarative Languages, 1999

Specification and Simulation of Multi-Agent Systems in CaseLP.

Maurizio Martelli, Viviana Mascardi, Floriano Zini

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini

Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1998

Towards Multi-Agent Software Prototyping.

Maurizio Martelli, Viviana Mascardi, Floriano Zini

Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998

1997

Transactions and Updates in Deductive Databases.

Danilo Montesi, Elisa Bertino, Maurizio Martelli

IEEE Trans. Knowl. Data Eng., 1997

Applying Logic Programming to the Specification of Complex Applications.

Maurizio Martelli, Viviana Mascardi, Floriano Zini

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.

Marco Bozzano, Giorgio Delzanno, Maurizio Martelli

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

A Linear Logic Calculus Objects.

Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli

Proceedings of the Logic Programming, 1996

1995

Negation as Instantiation

Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi

Inf. Comput., August, 1995

Objects in Forum.

Giorgio Delzanno, Maurizio Martelli

Proceedings of the Logic Programming, 1995

Forum Objects.

Giorgio Delzanno, Maurizio Martelli

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

The s-Semantics Approach: Theory and Applications.

Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli

J. Log. Program., 1994

Fixpoint Semantics of L lambda.

Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

A Bottom-Up Interpreter for a Database Language with Updates and Transactions.

Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Inf. Comput., March, 1993

Fixpoint Semantics of L-lambda.

Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi

Proceedings of the Logic Programming, 1993

A Bottom-Up Characterization of Finite Success.

Giorgio Delzanno, Maurizio Martelli

Proceedings of the Logic Programming, 1993

Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD).

Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi

Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992

A New SLDNF-Tree.

Maurizio Martelli, Chiara Tricomi

Inf. Process. Lett., 1992

New Semantic Tools for Logic Programming.

Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli

Proceedings of the Sematics: Foundations and Applications, 1992

Modelling Database Updates with Constraint Logic Programming.

Elisa Bertino, Maurizio Martelli, Danilo Montesi

Proceedings of the Modelling Database Dynamics, 1992

CLP(AD) as a Deductive Database Language with Updates.

Elisa Bertino, Maurizio Martelli, Danilo Montesi

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

Modeling Database Updates with Constraint Logic Programming.

Elisa Bertino, Maurizio Martelli, Danilo Montesi

Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992

CLP (X) as a framework for action and deduction.

Elisa Bertino, Maurizio Martelli, Danilo Montesi

Proceedings of the CNKBS'92, 1992

1991

Strict Completion of Logic Programs.

Wlodzimierz Drabent, Maurizio Martelli

New Gener. Comput., 1991

Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.

Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi

Proceedings of the Logic Programming, 1991

1990

Recognizing Non-Floundering Logic Programs and Goals.

Roberto Barbuti, Maurizio Martelli

Int. J. Found. Comput. Sci., 1990

Failure and Success made Symmetric.

Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

1989

Declarative Modeling of the Operational Behavior of Logic Languages.

Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli

Theor. Comput. Sci., 1989

1988

A Tool to Check the Non-Floundering Logic Programs and Goals.

Roberto Barbuti, Maurizio Martelli

Proceedings of the Programming Language Implementation and Logic Programming, 1988

A New Declarative Semantics for Logic Languages.

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Proceedings of the Logic Programming, 1988

1986

Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.

C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli

J. Autom. Reason., 1986

Completeness of the SLDNF-resolution for a class of logic programs.

Roberto Barbuti, Maurizio Martelli

Proceedings of the Third International Conference on Logic Programming, 1986

LEAF: A Language which Integrates Logic, Equations and Functions.

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985

Integrity Constraints for Logic Databases.

Patrizia Asirelli, Michele de Santis, Maurizio Martelli

J. Log. Program., 1985

1984

On the Integration of Logic Programming and Functional Programming.

Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the Implementations of Prolog. , 1984

1983

On Compiling Prolog Programs on Demand Driven Architectures.

Marco Bellia, Giorgio Levi, Maurizio Martelli

Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983

1982

Applicative communicating processes in first order logic.

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli

Proceedings of the International Symposium on Programming, 1982