![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Maurizio Martelli
Person information
- affiliation: University of Genoa, Italy
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [j20]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): 357-372 (2015) - 2013
- [c56]Paolo Gentilini, Maurizio Martelli:
Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. CILC 2013: 147-162 - 2012
- [c55]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: 539-546 - [c54]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 - 2011
- [j19]Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli:
Some applications of Computational Logic to the development of intelligent systems and verification methods. Intelligenza Artificiale 5(1): 145-149 (2011) - 2010
- [j18]Paolo Gentilini, Maurizio Martelli:
Abstract deduction and inferential models for type theory. Inf. Comput. 208(7): 737-771 (2010) - [c53]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 - [c52]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 - [c51]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
2000 – 2009
- 2009
- [c50]Daniela Briola, Viviana Mascardi, Maurizio Martelli, Riccardo Caccia, Carlo Milani:
Dynamic Resource Allocation in a MAS: A Case Study from the Industry. WOA 2009: 125-133 - 2008
- [j17]Giovanni Casella, Vincenzo Deufemia
, Viviana Mascardi, Gennaro Costagliola
, Maurizio Martelli:
An agent-based framework for sketched symbol interpretation. J. Vis. Lang. Comput. 19(2): 225-257 (2008) - [c49]Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli:
Computational Logic in Genova. Il Milione 2008 - [c48]Viviana Mascardi, Daniela Briola
, Maurizio Martelli, Riccardo Caccia, Carlo Milani:
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. CISIS 2008: 108-115 - [c47]Giovanni Casella, Vincenzo Deufemia
, Viviana Mascardi, Maurizio Martelli, Genoveffa Tortora:
Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents. VISUAL 2008: 302-314 - [c46]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: 11-18 - 2007
- [c45]Viviana Mascardi, Maurizio Martelli, Ivana Gungui:
DCaseLP: A Prototyping Environment for Multi-language Agent Systems. LADS 2007: 139-155 - [c44]Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi:
Preface to the Proceedings of WOA 2007. WOA 2007 - [e3]Matteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi:
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. Seneca Edizioni Torino 2007, ISBN 978-88-6122-061-4 [contents] - 2006
- [c43]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: 73-80 - 2005
- [c42]Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi:
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223 - [c41]Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi:
An Ontology-Based Similarity between Sets of Concepts. WOA 2005: 16-21 - 2004
- [j16]Viviana Mascardi, Maurizio Martelli, Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents. Theory Pract. Log. Program. 4(4): 429-494 (2004) - [j15]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. Theory Pract. Log. Program. 4(5-6): 573-619 (2004) - [c40]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: 112-131 - 2003
- [c39]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: 275-286 - [c38]Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi:
Customizing AOSE methodologies by reusing AOSE features. AAMAS 2003: 113-120 - [c37]M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri:
A Multimedia, Multichannel, and Personalized News Provider. MIPS 2003: 388-399 - [c36]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: 578-585 - [i3]Viviana Mascardi, Maurizio Martelli, Leon Sterling:
Logic-Based Specification Languages for Intelligent Software Agents. CoRR cs.AI/0311024 (2003) - [i2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. CoRR cs.PL/0309003 (2003) - 2002
- [j14]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
An effective fixpoint semantics for linear logic programs. Theory Pract. Log. Program. 2(1): 85-122 (2002) - [c35]Maurizio Martelli, Viviana Mascardi, Leon Sterling:
Logic-Based Languages to Model and Program Intelligent Agents. APPIA-GULP-PRODE 2002: 105-122 - [c34]Riccardo Albertoni, Maurizio Martelli, Viviana Mascardi, Stefano Miglia:
Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP. WOA 2002: 149-156 - 2001
- [j13]Giorgio Delzanno, Maurizio Martelli:
Proofs as computations in linear logic. Theor. Comput. Sci. 258(1-2): 269-297 (2001) - [c33]Giorgio Delzanno, Maurizio Martelli:
An embedding of calculi for negation as failure into linear logic. APPIA-GULP-PRODE 2001: 165-179 - [c32]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152 - [c31]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
On the Relations between Disjunctive and Linear Logic Programming. APPIA-GULP-PRODE 2001: 65-89 - [i1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Fixpoint Semantics for Linear Logic Programs. CoRR cs.PL/0102025 (2001) - 2000
- [j12]Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000) - [c30]Simone Marini
, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Specification of Heterogeneous Agent Architectures. ATAL 2000: 275-289 - [c29]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
A bottom-up semantics for linear logic programs. PPDP 2000: 92-102 - [c28]Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
HEMASL: A Flexible Language to Specify Heterogeneous Agents. WOA 2000: 76-81
1990 – 1999
- 1999
- [j11]Giorgio Delzanno, Didier Galmiche, Maurizio Martelli:
A specification logic for concurrent object-oriented programming. Math. Struct. Comput. Sci. 9(3): 253-286 (1999) - [c27]Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Specification and Simulation of Multi-Agent Systems in CaseLP. APPIA-GULP-PRODE 1999: 13-28 - [c26]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60 - [p3]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. The Logic Programming Paradigm 1999: 5-32 - 1998
- [c25]Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Towards Multi-Agent Software Prototyping. PAAM 1998: 331-354 - 1997
- [j10]Danilo Montesi
, Elisa Bertino, Maurizio Martelli:
Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(5): 784-797 (1997) - [c24]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE 1997: 105-116 - [c23]Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Applying Logic Programming to the Specification of Complex Applications. APPIA-GULP-PRODE 1997: 491-500 - 1996
- [c22]Giorgio Delzanno, Maurizio Martelli:
Proofs as Computations in Linear Logic. APPIA-GULP-PRODE 1996: 155-166 - [c21]Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
A Linear Logic Calculus Objects. JICSLP 1996: 67-81 - [e2]Paqui Lucio, Maurizio Martelli, Marisa Navarro:
1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. 1996 [contents] - 1995
- [j9]Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
:
Negation as Instantiation. Inf. Comput. 120(2): 263-278 (1995) - [c20]Giorgio Delzanno, Maurizio Martelli:
Forum Objects. GULP-PRODE 1995: 283-294 - [c19]Giorgio Delzanno, Maurizio Martelli:
Objects in Forum. ILPS 1995: 115-129 - 1994
- [j8]Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994) - [c18]Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa:
Fixpoint Semantics of L lambda. GULP-PRODE (1) 1994: 187-201 - [c17]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: 206-220 - 1993
- [j7]Moreno Falaschi
, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
:
A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Inf. Comput. 103(1): 86-113 (1993) - [c16]Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi:
Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD). GULP 1993: 501-518 - [c15]Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi:
Fixpoint Semantics of L-lambda. ILPS 1993: 666 - [c14]Giorgio Delzanno, Maurizio Martelli:
A Bottom-Up Characterization of Finite Success. ILPS 1993: 676 - 1992
- [j6]Maurizio Martelli, Chiara Tricomi:
A New SLDNF-Tree. Inf. Process. Lett. 43(2): 57-62 (1992) - [c13]Elisa Bertino, Maurizio Martelli, Danilo Montesi:
CLP (X) as a framework for action and deduction. CNKBS 1992: 27-29 - [c12]Elisa Bertino, Maurizio Martelli, Danilo Montesi:
Modeling Database Updates with Constraint Logic Programming. Workshop on Deductive Databases, JICSLP 1992: 175-184 - [c11]Elisa Bertino, Maurizio Martelli, Danilo Montesi:
CLP(AD) as a Deductive Database Language with Updates. ELP 1992: 80-99 - [c10]Elisa Bertino, Maurizio Martelli, Danilo Montesi:
Modelling Database Updates with Constraint Logic Programming. FMLDO 1992: 121-132 - [c9]Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli:
New Semantic Tools for Logic Programming. REX Workshop 1992: 204-235 - 1991
- [j5]Wlodzimierz Drabent
, Maurizio Martelli:
Strict Completion of Logic Programs. New Gener. Comput. 9(1): 69-80 (1991) - [c8]Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi:
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ICLP 1991: 32-45 - 1990
- [j4]Roberto Barbuti, Maurizio Martelli:
Recognizing Non-Floundering Logic Programs and Goals. Int. J. Found. Comput. Sci. 1(2): 151-164 (1990) - [c7]Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
Failure and Success made Symmetric. NACLP 1990: 3-22
1980 – 1989
- 1989
- [j3]Moreno Falaschi
, Giorgio Levi, Catuscia Palamidessi
, Maurizio Martelli:
Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69(3): 289-318 (1989) - [e1]Giorgio Levi, Maurizio Martelli:
Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989. MIT Press 1989, ISBN 0-262-62065-0 [contents] - 1988
- [c6]Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi:
A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005 - [c5]Roberto Barbuti, Maurizio Martelli:
A Tool to Check the Non-Floundering Logic Programs and Goals. PLILP 1988: 58-67 - 1986
- [j2]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): 155-170 (1986) - [c4]Roberto Barbuti, Maurizio Martelli:
Completeness of the SLDNF-resolution for a class of logic programs. ICLP 1986: 600-614 - [p2]Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli:
LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations 1986: 201-238 - 1985
- [j1]Patrizia Asirelli, Michele de Santis, Maurizio Martelli:
Integrity Constraints for Logic Databases. J. Log. Program. 2(3): 221-232 (1985) - 1984
- [c3]Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli:
On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166 - [p1]Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli:
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Implementations of Prolog 1984: 309-326 - 1983
- [c2]Marco Bellia, Giorgio Levi, Maurizio Martelli:
On Compiling Prolog Programs on Demand Driven Architectures. Logic Programming Workshop 1983: 518-535 - 1982
- [c1]Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli:
Applicative communicating processes in first order logic. Symposium on Programming 1982: 1-14
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint