Maurizio Martelli

Publication Activity (10 Years)

Years Active: 1982-2015
Publications (10 Years): 0

Top Topics

Partial Information

Logical Representation

Information Sharing

Top Venues

Fundam. Informaticae

Publications

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