The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

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

Publications of Author

  1. Alberto Martelli, Ugo Montanari
    An Efficient Unification Algorithm. [Citation Graph (5, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1982, v:4, n:2, pp:258-282 [Journal]
  2. Alberto Martelli, Corrado Moiso, Gianfranco Rossi
    An Algorithm for Unification in Equational Theories. [Citation Graph (1, 0)][DBLP]
    SLP, 1986, pp:180-186 [Conf]
  3. Alberto Martelli, Ugo Montanari
    Optimizing Decision Trees Through Heuristically Guided Search. [Citation Graph (1, 0)][DBLP]
    Commun. ACM, 1978, v:21, n:12, pp:1025-1039 [Journal]
  4. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Modal Extension of Logic Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:324-335 [Conf]
  5. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about Conversation Protocols in a Logic-Based Agent Language. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:300-311 [Conf]
  6. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    Negation as Failure and Constraints through Abduction and Defaults. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1991, pp:78-87 [Conf]
  7. Laura Giordano, Alberto Martelli, Camilla Schwind
    Reasoning about Actions in a Multiagent Domain. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2001, pp:237-248 [Conf]
  8. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:262-274 [Conf]
  9. Alberto Martelli, Laura Giordano
    Reasoning About Web Services in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    Reasoning, Action and Interaction in AI Theories and Systems, 2006, pp:229-246 [Conf]
  10. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Verification of Protocol Conformance and Agent Interoperability. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:265-283 [Conf]
  11. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
    Verifying Protocol Conformance for Logic-Based Communicating Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:196-212 [Conf]
  12. 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]
  13. Laura Giordano, Alberto Martelli
    An Abductive Characterization of the TMS. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:308-313 [Conf]
  14. Laura Giordano, Alberto Martelli
    Truth Maintenance Systems and Belief Revision. [Citation Graph (0, 0)][DBLP]
    Truth Maintenance Systems (ECAI Workshop), 1990, pp:71-86 [Conf]
  15. Laura Giordano, Alberto Martelli, Camilla Schwind
    Dealing with Concurrent Actions in Modal Action Logics. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:537-541 [Conf]
  16. Matteo Baldoni, Laura Giordano, Alberto Martelli
    Translating a Modal Language with Embedded Implication into Horn Clause Logic. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:19-33 [Conf]
  17. Laura Giordano, Alberto Martelli
    A Modal Framework for Structured Logic Programs. [Citation Graph (0, 0)][DBLP]
    ELP, 1992, pp:168-186 [Conf]
  18. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
    Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:257-271 [Conf]
  19. Alberto Martelli, Gianfranco Rossi
    Enhancing Prolog to Support Prolog Programming Environments. [Citation Graph (0, 0)][DBLP]
    ESOP, 1988, pp:317-327 [Conf]
  20. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    An Abductive Proof Procedure for Conditional Logic Programming. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:231-245 [Conf]
  21. Laura Giordano, Alberto Martelli, Gianfranco Rossi
    Local Definitions with Static Scope Rules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:389-396 [Conf]
  22. Alberto Martelli, Gianfranco Rossi
    Efficient Unificatioin with Infinite Terms in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:202-209 [Conf]
  23. Alberto Martelli, Ugo Montanari
    Dynamic Programming Schemata. [Citation Graph (0, 0)][DBLP]
    ICALP, 1974, pp:66-80 [Conf]
  24. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Framework for a Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:52-66 [Conf]
  25. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
    Conditonal Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:272-289 [Conf]
  26. Laura Giordano, Alberto Martelli
    Generalized Stable Models, Truth Maintenance and Conflict Resolution. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:427-441 [Conf]
  27. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    A Semantics for Eshghi and Kowalski's Procedure. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:586-600 [Conf]
  28. Alberto Martelli, Gianfranco Rossi
    On the Semantics of Logic Programing Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:327-334 [Conf]
  29. Patrizia Asirelli, Pierpaolo Degano, Giorgio Levi, Alberto Martelli, Ugo Montanari, Giuliano Pacini, Franco Sirovich, Franco Turini
    A Flexible Environment for Program Development Based on a Symbolic Interpreter. [Citation Graph (0, 0)][DBLP]
    ICSE, 1979, pp:251-264 [Conf]
  30. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:339-351 [Conf]
  31. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about Self and Others: Communicating Agents in a Model Action Logic. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:228-241 [Conf]
  32. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:405-425 [Conf]
  33. Roberto Barbuti, Alberto Martelli
    A Constructive Approach to Static Verification of Program Properties. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:457-462 [Conf]
  34. Alberto Martelli
    An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1974, pp:511-515 [Conf]
  35. Alberto Martelli, Ugo Montanari
    Optimal Smoothing in Picture Processing: An Application to Fingerprints. [Citation Graph (0, 0)][DBLP]
    IFIP Congress (1), 1971, pp:173-178 [Conf]
  36. Alberto Martelli, Ugo Montanari
    Additive AND/OR Graphs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1973, pp:1-11 [Conf]
  37. Alberto Martelli, Ugo Montanari
    Form Dynamic Programming To Search Algorithms With Functional Costs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1975, pp:345-350 [Conf]
  38. Alberto Martelli, Ugo Montanari
    Theorem Proving with Structure Sharing and Efficient Unification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1977, pp:543- [Conf]
  39. Laura Giordano, Alberto Martelli, Camilla Schwind
    Verifying Communicating Agents by Model Checking in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:57-69 [Conf]
  40. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
    Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:203-216 [Conf]
  41. 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]
  42. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:132-150 [Conf]
  43. Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti
    Reasoning about Communicating Agents in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:84-98 [Conf]
  44. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
    Interaction Protocols and Capabilities: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:63-77 [Conf]
  45. Roberto Barbuti, Alberto Martelli
    Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:1-16 [Conf]
  46. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Multimodal Logic to Define Modules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:473-487 [Conf]
  47. Laura Giordano, Alberto Martelli
    A Modal Reconstruction of Blocks and Modules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:239-253 [Conf]
  48. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Tableau for Multimodal Logics and Some (Un)Decidability Results. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:44-59 [Conf]
  49. Laura Giordano, Alberto Martelli
    On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:133-139 [Conf]
  50. Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani
    A Temporal Approach to the Specification and Verification of Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:171-176 [Conf]
  51. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about Interaction for Personalizing Web Service Fruition. [Citation Graph (0, 0)][DBLP]
    WOA, 2003, pp:29-35 [Conf]
  52. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi
    Personalization, Verification and Conformance for Logic-based Communicating Agents. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:177-183 [Conf]
  53. Laura Giordano, Alberto Martelli
    On Cumulative Default Logics. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1994, v:66, n:1, pp:161-179 [Journal]
  54. Alberto Martelli
    On the Complexity of Admissible Search Algorithms. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1977, v:8, n:1, pp:1-13 [Journal]
  55. Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano
    Programming Rational Agents in a Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:207-257 [Journal]
  56. Laura Giordano, Alberto Martelli
    Tableau-based automata construction for dynamic linear time temporal logic*. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2006, v:46, n:3, pp:289-315 [Journal]
  57. Alberto Martelli
    An Application of Heuristic Search Methods to Edge and Contour Detection. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:2, pp:73-83 [Journal]
  58. Laura Giordano, Alberto Martelli
    A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1995, v:11, n:, pp:11-46 [Journal]
  59. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning About Interaction Protocols for Web Service Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:21-36 [Journal]
  60. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specialization of Interaction Protocols in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:157, n:4, pp:3-22 [Journal]
  61. Maria Paola Bonacina, Alberto Martelli
    Automated Reasoning. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2006, v:3, n:1-2, pp:14-20 [Journal]
  62. Laura Giordano, Alberto Martelli, Camilla Schwind
    Reasoning about Actions in Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:2, pp:- [Journal]
  63. Stefania Gnesi, Ugo Montanari, Alberto Martelli
    Dynamic Programming as Graph Searching: An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1981, v:28, n:4, pp:737-751 [Journal]
  64. Alberto Martelli
    A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1976, v:23, n:1, pp:58-73 [Journal]
  65. Laura Giordano, Alberto Martelli, Camilla Schwind
    Specifying and verifying interaction protocols in a temporal action logic. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:214-234 [Journal]
  66. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
    Conditional reasoning in logic programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:44, n:1-3, pp:37-74 [Journal]
  67. Laura Giordano, Alberto Martelli
    Structuring Logic Programs: A Modal Approach. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:21, n:2, pp:59-94 [Journal]
  68. Laura Giordano, Alberto Martelli, Maria Luisa Sapino
    Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:26, n:1, pp:31-67 [Journal]
  69. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:5, pp:597-635 [Journal]
  70. Laura Giordano, Alberto Martelli, Camilla Schwind
    Ramification and causality in a modal action logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:5, pp:625-662 [Journal]
  71. Roberto Barbuti, Alberto Martelli
    A Structured Approach to Static Semantics Correctness. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1983, v:3, n:3, pp:279-311 [Journal]
  72. Laura Giordano, Alberto Martelli
    Structured Prolog: A Language for Structured Logic Programming. [Citation Graph (0, 0)][DBLP]
    Software - Concepts and Tools, 1994, v:15, n:3, pp:125-0 [Journal]
  73. Laura Giordano, Alberto Martelli, Gianfranco Rossi
    Extending Horn Clause Logic with Implication Goals. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:43-74 [Journal]
  74. Laura Giordano, Alberto Martelli
    Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:145-156 [Conf]
  75. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Conformance and Interoperability in Open Enviroments. [Citation Graph (0, 0)][DBLP]
    WOA, 2006, pp:- [Conf]
  76. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about interaction protocols for customizing web service selection and composition. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:53-73 [Journal]

  77. The Seventies. [Citation Graph (, )][DBLP]


  78. Verifying Agents' Conformance with Multiparty Protocols. [Citation Graph (, )][DBLP]


  79. Verifying Business Process Compliance by Reasoning about Actions. [Citation Graph (, )][DBLP]


  80. Verifying the Conformance of Agents with Multiparty Protocols. [Citation Graph (, )][DBLP]


  81. Service selection by choreography-driven matching. [Citation Graph (, )][DBLP]


  82. Goal Preservation by Choreography-Driven Matchmaking. [Citation Graph (, )][DBLP]


  83. Preserving players goals: a choreography-driven matchmaking approach. [Citation Graph (, )][DBLP]


Search in 0.018secs, Finished in 0.622secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002