The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maurizio Martelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrizia Asirelli, Michele de Santis, Maurizio Martelli
    Integrity Constraints for Logic Databases. [Citation Graph (4, 0)][DBLP]
    J. Log. Program., 1985, v:2, n:3, pp:221-232 [Journal]
  2. Elisa Bertino, Maurizio Martelli, Danilo Montesi
    Modelling Database Updates with Constraint Logic Programming. [Citation Graph (2, 0)][DBLP]
    FMLDO, 1992, pp:121-132 [Conf]
  3. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    A New Declarative Semantics for Logic Languages. [Citation Graph (2, 0)][DBLP]
    ICLP/SLP, 1988, pp:993-1005 [Conf]
  4. Elisa Bertino, Maurizio Martelli, Danilo Montesi
    Modeling Database Updates with Constraint Logic Programming. [Citation Graph (1, 0)][DBLP]
    Workshop on Deductive Databases, JICSLP, 1992, pp:175-184 [Conf]
  5. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
    Declarative Modeling of the Operational Behavior of Logic Languages. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:69, n:3, pp:289-318 [Journal]
  6. Giorgio Delzanno, Maurizio Martelli
    Forum Objects. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:283-294 [Conf]
  7. Giorgio Delzanno, Maurizio Martelli
    Proofs as Computations in Linear Logic. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:155-166 [Conf]
  8. Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi
    Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD). [Citation Graph (0, 0)][DBLP]
    GULP, 1993, pp:501-518 [Conf]
  9. Elisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi
    A Bottom-Up Interpreter for a Database Language with Updates and Transactions. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:206-220 [Conf]
  10. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:105-116 [Conf]
  11. Maurizio Martelli, Viviana Mascardi
    From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:275-286 [Conf]
  12. Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa
    Fixpoint Semantics of L lambda. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (1), 1994, pp:187-201 [Conf]
  13. Maurizio Martelli, Viviana Mascardi, Floriano Zini
    Applying Logic Programming to the Specification of Complex Applications. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:491-500 [Conf]
  14. Maurizio Martelli, Viviana Mascardi, Floriano Zini
    Specification and Simulation of Multi-Agent Systems in CaseLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:13-28 [Conf]
  15. Thomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi
    Customizing AOSE methodologies by reusing AOSE features. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:113-120 [Conf]
  16. Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini
    Specification of Heterogeneous Agent Architectures. [Citation Graph (0, 0)][DBLP]
    ATAL, 2000, pp:275-289 [Conf]
  17. Elisa Bertino, Maurizio Martelli, Danilo Montesi
    CLP (X) as a framework for action and deduction. [Citation Graph (0, 0)][DBLP]
    CNKBS, 1992, pp:27-29 [Conf]
  18. Matteo Baldoni, Cristina Baroglio, I. Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella
    Reasoning About Agents' Interaction Protocols Inside DCaseLP. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:112-131 [Conf]
  19. Elisa Bertino, Maurizio Martelli, Danilo Montesi
    CLP(AD) as a Deductive Database Language with Updates. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:80-99 [Conf]
  20. Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi
    BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. [Citation Graph (0, 0)][DBLP]
    EUMAS, 2005, pp:214-223 [Conf]
  21. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:138-152 [Conf]
  22. Roberto Barbuti, Maurizio Martelli
    Completeness of the SLDNF-resolution for a class of logic programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:600-614 [Conf]
  23. Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
    A Linear Logic Calculus Objects. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:67-81 [Conf]
  24. Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
    Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:32-45 [Conf]
  25. M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri
    A Multimedia, Multichannel, and Personalized News Provider. [Citation Graph (0, 0)][DBLP]
    MIPS, 2003, pp:388-399 [Conf]
  26. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
    Multi-agent Systems Development as a Software Engineering Enterprise. [Citation Graph (0, 0)][DBLP]
    PADL, 1999, pp:46-60 [Conf]
  27. Roberto Barbuti, Maurizio Martelli
    A Tool to Check the Non-Floundering Logic Programs and Goals. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:58-67 [Conf]
  28. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    A bottom-up semantics for linear logic programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:92-102 [Conf]
  29. Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli
    Applicative communicating processes in first order logic. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1982, pp:1-14 [Conf]
  30. Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    New Semantic Tools for Logic Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:204-235 [Conf]
  31. 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. [Citation Graph (0, 0)][DBLP]
    SEKE, 2003, pp:578-585 [Conf]
  32. Roberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli
    On the Integration of Logic Programming and Functional Programming. [Citation Graph (0, 0)][DBLP]
    SLP, 1984, pp:160-166 [Conf]
  33. Giorgio Delzanno, Maurizio Martelli
    A Bottom-Up Characterization of Finite Success. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:676- [Conf]
  34. Giorgio Delzanno, Maurizio Martelli
    Objects in Forum. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:115-129 [Conf]
  35. Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    Failure and Success made Symmetric. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:3-22 [Conf]
  36. Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi
    Fixpoint Semantics of L-lambda. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:666- [Conf]
  37. Giovanni Casella, Gennaro Costagliola, Vincenzo Deufemia, Maurizio Martelli, Viviana Mascardi
    An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2006, pp:73-80 [Conf]
  38. Riccardo Albertoni, Maurizio Martelli, Viviana Mascardi, Stefano Miglia
    Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP. [Citation Graph (0, 0)][DBLP]
    WOA, 2002, pp:149-156 [Conf]
  39. Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini
    HEMASL: A Flexible Language to Specify Heterogeneous Agents. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:76-81 [Conf]
  40. Valentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi
    An Ontology-Based Similarity between Sets of Concepts. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:16-21 [Conf]
  41. Viviana Mascardi, Maurizio Martelli, Leon Sterling
    Logic-Based Specification Languages for Intelligent Software Agents [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  42. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    An Effective Fixpoint Semantics for Linear Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  43. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    Model Checking Linear Logic Specifications [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  44. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    On the Relations between Disjunctive and Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  45. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
    A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1993, v:103, n:1, pp:86-113 [Journal]
  46. Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
    Negation as Instantiation [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:2, pp:263-278 [Journal]
  47. Roberto Barbuti, Maurizio Martelli
    Recognizing Non-Floundering Logic Programs and Goals. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:2, pp:151-0 [Journal]
  48. Maurizio Martelli, Chiara Tricomi
    A New SLDNF-Tree. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1992, v:43, n:2, pp:57-62 [Journal]
  49. C. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli
    Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1986, v:2, n:2, pp:155-170 [Journal]
  50. Annalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
    The s-Semantics Approach: Theory and Applications. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:149-197 [Journal]
  51. Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
    Object calculi in linear logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:1, pp:75-104 [Journal]
  52. Giorgio Delzanno, Didier Galmiche, Maurizio Martelli
    A specification logic for concurrent object-oriented programming. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:253-286 [Journal]
  53. Wlodzimierz Drabent, Maurizio Martelli
    Strict Completion of Logic Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:1, pp:69-80 [Journal]
  54. Giorgio Delzanno, Maurizio Martelli
    Proofs as computations in linear logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:258, n:1-2, pp:269-297 [Journal]
  55. Danilo Montesi, Elisa Bertino, Maurizio Martelli
    Transactions and Updates in Deductive Databases. [Citation Graph (0, 28)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1997, v:9, n:5, pp:784-797 [Journal]
  56. Viviana Mascardi, Maurizio Martelli, Leon Sterling
    Logic-Based Specification Languages for Intelligent Software Agents. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:4, pp:429-494 [Journal]
  57. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    An effective fixpoint semantics for linear logic programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:1, pp:85-122 [Journal]
  58. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
    Model Checking Linear Logic Specifications. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:5-6, pp:573-619 [Journal]

  59. Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents. [Citation Graph (, )][DBLP]


  60. Preface to the Proceedings of WOA 2007. [Citation Graph (, )][DBLP]


  61. DCaseLP: A Prototyping Environment for Multi-language Agent Systems. [Citation Graph (, )][DBLP]


Search in 1.092secs, Finished in 1.094secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002