dblp.uni-trier.dewww.uni-trier.de

Alberto Martelli Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

Coauthor Index

1Patrizia Asirelli [11]
2Matteo Baldoni [29] [35] [40] [41] [43] [44] [45] [50] [52] [53] [55] [56] [58] [59] [62] [63] [64] [65] [67] [68] [72] [74] [75] [76] [78] [79] [80]
3Roberto Barbuti [12] [15] [16]
4Cristina Baroglio [52] [53] [55] [56] [58] [62] [63] [65] [67] [68] [72] [74] [75] [76] [78] [79] [80]
5Maria Paola Bonacina [69]
6Alessio Bottrighi [66]
7Pierpaolo Degano [11]
8M. Delato [54]
9Dov M. Gabbay [34] [37] [38] [47]
10Laura Giordano [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [53] [57] [59] [60] [61] [66] [70] [71] [73] [77] [81] [82] [84]
11Stefania Gnesi [13]
12Ivana Gungui [62]
13Giorgio Levi [11]
14Maurizio Martelli [54] [62]
15Viviana Mascardi [54] [62] [65]
16Corrado Moiso [18]
17Ugo Montanari [1] [2] [4] [5] [9] [10] [11] [13] [14]
18Stefania Montani [66]
19Nicola Olivetti [34] [37] [38] [47]
20Andrea Omicini [64]
21Giuliano Pacini [11]
22Flavio De Paoli [64]
23Viviana Patti [40] [50] [52] [53] [55] [56] [58] [59] [62] [63] [65] [67] [68] [72] [74] [75] [76] [78] [79] [80]
24Gianfranco Rossi [17] [18] [19] [20] [21] [27]
25Maria Luisa Sapino [26] [30] [39] [42] [47]
26Claudio Schifanella [62] [63] [65] [67] [74] [78] [79] [80]
27Camilla Schwind [46] [48] [49] [51] [57] [61] [70] [77]
28Franco Sirovich [11]
29Paolo Terenziani [66]
30Laura Torasso [65]
31Franco Turini [11]
32Alessandro Verri [54]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)