2008 | ||
---|---|---|
83 | EE | Alberto Martelli: The Seventies. Concurrency, Graphs and Models 2008: 797-798 |
82 | EE | Laura Giordano, Alberto Martelli: Verifying the Conformance of Agents with Multiparty Protocols. ECAI 2008: 855-856 |
2007 | ||
81 | EE | Laura Giordano, Alberto Martelli: Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA 2007: 145-156 |
80 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426 |
79 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007 |
78 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139 |
77 | EE | Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2): 214-234 (2007) |
76 | EE | Matteo 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 | ||
75 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351 |
74 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77 |
73 | EE | Alberto Martelli, Laura Giordano: Reasoning About Web Services in a Temporal Action Logic. Reasoning, Action and Interaction in AI Theories and Systems 2006: 229-246 |
72 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006 |
71 | EE | Laura Giordano, Alberto Martelli: Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. 46(3): 289-315 (2006) |
70 | EE | Laura 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 | ||
68 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA VI 2005: 265-283 |
67 | EE | Matteo 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 |
66 | EE | Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani: A Temporal Approach to the Specification and Verification of Interaction Protocols. WOA 2005: 171-176 |
65 | EE | Matteo 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 | |
63 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA V 2004: 196-212 |
62 | EE | 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 |
61 | EE | Laura Giordano, Alberto Martelli, Camilla Schwind: Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004: 57-69 |
60 | EE | Laura Giordano, Alberto Martelli: On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 2004: 133-139 |
59 | EE | Matteo 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) |
58 | EE | Matteo 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 | ||
57 | EE | Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274 |
56 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311 |
55 | EE | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241 |
54 | EE | M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri: A Multimedia, Multichannel, and Personalized News Provider. MIPS 2003: 388-399 |
53 | EE | Matteo 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 | ||
51 | EE | Laura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248 |
50 | EE | Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425 |
49 | EE | Laura 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 | |
45 | EE | Matteo 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 | ||
43 | Matteo 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) | |
38 | EE | Dov 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 | ||
28 | Laura 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 | ||
21 | Alberto 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 | ||
14 | EE | Alberto Martelli, Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282 (1982) |
1981 | ||
13 | EE | Stefania 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) | |
6 | EE | Alberto 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 | ||
4 | Alberto 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 |