Maurizio Martelli
Affiliations:- University of Genoa, Italy
According to our database1,
Maurizio Martelli
authored at least 77 papers
between 1982 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2015
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent.
Fundam. Informaticae, 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
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
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems.
Proceedings of the 11th WOA 2010 Workshop, 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
2009
Dynamic Resource Allocation in a MAS: A Case Study from the Industry.
Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009
2008
J. Vis. Lang. Comput., 2008
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments.
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.
Proceedings of the Visual Information Systems. Web-Based Visual Information Search and Management, 2008
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008
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
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
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
Theory Pract. Log. Program., 2004
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.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Proceedings of the Interactive Multimedia on Next Generation Networks, 2003
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
Theory Pract. Log. Program., 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
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Proceedings of the Declarative Programming, 2001
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001
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
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000
1999
Math. Struct. Comput. Sci., 1999
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
1998
Towards Multi-Agent Software Prototyping.
Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, 1998
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
1995
Forum Objects.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995
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
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
Proceedings of the Sematics: Foundations and Applications, 1992
Proceedings of the Modelling Database Dynamics, 1992
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
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.
Proceedings of the Logic Programming, 1991
1990
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
Theor. Comput. Sci., 1989
1988
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. Reason., 1986
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
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
1983
Proceedings of the Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June, 1983
1982
Proceedings of the International Symposium on Programming, 1982