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 |