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