Maurizio Martelli

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2013
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.
Proceedings of the 28th Italian Conference on Computational Logic, 2013

2012
The Indiana MAS Project: Goals and Preliminary Results.
Proceedings of the 13th Workshop on Objects and Agents, 2012

Investigative analysis across documents and drawings: visual analytics for archaeologists.
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.
Intelligenza Artificiale, 2011

2010
Abstract deduction and inferential models for type theory.
Inf. Comput., 2010

MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
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.
Proceedings of the 25th Italian Conference on Computational Logic, 2010

2008
An agent-based framework for sketched symbol interpretation.
J. Vis. Lang. Comput., 2008

Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents.
Proceedings of the Visual Information Systems. Web-Based Visual Information Search and Management, 2008

Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents.
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008

Computational Logic in Genova.
Proceedings of the Il Milione (i.e. 2ˆ6), 2008

2007
Preface to the Proceedings of WOA 2007.
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.
Proceedings of the Languages, 2007

2006
An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches.
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.
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.
Proceedings of the EUMAS 2005, 2005

2004
Logic-Based Specification Languages for Intelligent Software Agents.
TPLP, 2004

Model Checking Linear Logic Specifications.
TPLP, 2004

Reasoning About Agents' Interaction Protocols Inside DCaseLP.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

2003
Model Checking Linear Logic Specifications
CoRR, 2003

Logic-Based Specification Languages for Intelligent Software Agents
CoRR, 2003

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003

A Multimedia, Multichannel, and Personalized News Provider.
Proceedings of the Interactive Multimedia on Next Generation Networks, 2003

Customizing AOSE methodologies by reusing AOSE features.
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.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
An effective fixpoint semantics for linear logic programs.
TPLP, 2002

Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP.
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.
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002

2001
Proofs as computations in linear logic.
Theor. Comput. Sci., 2001

On the Relations between Disjunctive and Linear Logic Programming.
Electr. Notes Theor. Comput. Sci., 2001

An Effective Fixpoint Semantics for Linear Logic Programs
CoRR, 2001

An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

An embedding of calculi for negation as failure into linear logic.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Object calculi in linear logic.
J. Log. Comput., 2000

HEMASL: A Flexible Language to Specify Heterogeneous Agents.
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.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

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

1999
A specification logic for concurrent object-oriented programming.
Mathematical Structures in Computer Science, 1999

Multi-agent Systems Development as a Software Engineering Enterprise.
Proceedings of the Practical Aspects of Declarative Languages, 1999

Specification and Simulation of Multi-Agent Systems in CaseLP.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics.
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999

1997
Transactions and Updates in Deductive Databases.
IEEE Trans. Knowl. Data Eng., 1997

Applying Logic Programming to the Specification of Complex Applications.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
A Linear Logic Calculus Objects.
Proceedings of the Logic Programming, 1996

Proofs as Computations in Linear Logic.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Negation as Instantiation
Inf. Comput., August, 1995

Objects in Forum.
Proceedings of the Logic Programming, 1995

Forum Objects.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
The s-Semantics Approach: Theory and Applications.
J. Log. Program., 1994

Fixpoint Semantics of L lambda.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

A Bottom-Up Interpreter for a Database Language with Updates and Transactions.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs
Inf. Comput., March, 1993

Fixpoint Semantics of L-lambda.
Proceedings of the Logic Programming, 1993

A Bottom-Up Characterization of Finite Success.
Proceedings of the Logic Programming, 1993

Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD).
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1992
A New SLDNF-Tree.
Inf. Process. Lett., 1992

New Semantic Tools for Logic Programming.
Proceedings of the Sematics: Foundations and Applications, 1992

Modelling Database Updates with Constraint Logic Programming.
Proceedings of the Modelling Database Dynamics, 1992

CLP(AD) as a Deductive Database Language with Updates.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

Modeling Database Updates with Constraint Logic Programming.
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.
Proceedings of the CNKBS'92, 1992

1991
Strict Completion of Logic Programs.
New Generation Comput., 1991

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

1990
Recognizing Non-Floundering Logic Programs and Goals.
Int. J. Found. Comput. Sci., 1990

Failure and Success made Symmetric.
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.
Theor. Comput. Sci., 1989

1988
A Tool to Check the Non-Floundering Logic Programs and Goals.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

A New Declarative Semantics for Logic Languages.
Proceedings of the Logic Programming, 1988

1986
Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.
J. Autom. Reasoning, 1986

Completeness of the SLDNF-resolution for a class of logic programs.
Proceedings of the Third International Conference on Logic Programming, 1986

LEAF: A Language which Integrates Logic, Equations and Functions.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985
Integrity Constraints for Logic Databases.
J. Log. Program., 1985

1984
On the Integration of Logic Programming and Functional Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language.
Proceedings of the Implementations of Prolog. , 1984

1982
Applicative communicating processes in first order logic.
Proceedings of the International Symposium on Programming, 1982


  Loading...