- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j26 |      | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about actions with Temporal Answer Sets. TPLP 13(2): 201-225 (2013) |
| 2012 | ||
| c63 | | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC 2012: 176-190 |
| c62 | | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR 2012 |
| 2011 | ||
| c61 | | Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré: Verifying Compliance of Business Processes with Temporal Answer Sets. CILC 2011: 147-161 |
| i1 | | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about Actions with Temporal Answer Sets. CoRR abs/1110.3672 (2011) |
| 2010 | ||
| c60 | | Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about Actions with Temporal Answer Sets. CILC 2010 |
| c59 | | Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré: Verifying Business Process Compliance by Reasoning about Actions. CLIMA 2010: 99-116 |
| 2008 | ||
| c58 | | |
| c57 | | Laura Giordano, Alberto Martelli: Verifying Agents' Conformance with Multiparty Protocols. CLIMA 2008: 17-36 |
| c56 | | Laura Giordano, Alberto Martelli: Verifying the Conformance of Agents with Multiparty Protocols. ECAI 2008: 855-856 |
| 2007 | ||
| j25 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2): 214-234 (2007) |
| j24 | | 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) |
| c55 | | Laura Giordano, Alberto Martelli: Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA 2007: 145-156 |
| c54 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Service selection by choreography-driven matching. WEWST 2007 |
| c53 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Goal Preservation by Choreography-Driven Matchmaking. ICSOC Workshops 2007: 413-426 |
| c52 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Preserving players goals: a choreography-driven matchmaking approach. WOA 2007: 132-139 |
| 2006 | ||
| j23 | | Laura Giordano, Alberto Martelli: Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. 46(3): 289-315 (2006) |
| j22 | | 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) |
| j21 |  | Maria Paola Bonacina, Alberto Martelli: Automated Reasoning. Intelligenza Artificiale 3(1-2): 14-20 (2006) |
| c51 | | 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 |
| c50 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. ICSOC 2006: 339-351 |
| c49 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Interaction Protocols and Capabilities: A Preliminary Report. PPSWR 2006: 63-77 |
| c48 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Conformance and Interoperability in Open Enviroments. WOA 2006 |
| 2005 | ||
| c47 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Verification of Protocol Conformance and Agent Interoperability. CLIMA 2005: 265-283 |
| c46 | | 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 |
| c45 | | 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 |
| c44 | | 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 | ||
| j20 | | 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) |
| j19 | | 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) |
| c43 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella: Verifying Protocol Conformance for Logic-Based Communicating Agents. CLIMA 2004: 196-212 |
| c42 | | 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 |
| c41 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004: 57-69 |
| c40 | | Laura Giordano, Alberto Martelli: On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 2004: 133-139 |
| e1 | | Matteo Baldoni, Flavio De Paoli, Alberto Martelli, Andrea Omicini (Eds.): 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, isbn 88-371-1533-4 |
| 2003 | ||
| c39 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274 |
| c38 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003: 300-311 |
| c37 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003: 228-241 |
| c36 | | M. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri: A Multimedia, Multichannel, and Personalized News Provider. MIPS 2003: 388-399 |
| c35 | | Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98 |
| c34 | | Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti: Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003: 29-35 |
| 2001 | ||
| j18 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in Dynamic Linear Time Temporal Logic. Logic Journal of the IGPL 9(2): 273-288 (2001) |
| c33 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248 |
| c32 | | Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425 |
| 2000 | ||
| j17 | | 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) |
| j16 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Ramification and causality in a modal action logic. J. Log. Comput. 10(5): 625-662 (2000) |
| 1998 | ||
| j15 | | 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) |
| c31 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998: 537-541 |
| c30 | | Matteo Baldoni, Laura Giordano, Alberto Martelli: A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59 |
| 1996 | ||
| j14 | | 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) |
| j13 | | 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) |
| c29 | | Matteo Baldoni, Laura Giordano, Alberto Martelli: Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33 |
| c28 | | Laura Giordano, Alberto Martelli, Maria Luisa Sapino: An Abductive Proof Procedure for Conditional Logic Programming. FAPR 1996: 231-245 |
| c27 | | Matteo Baldoni, Laura Giordano, Alberto Martelli: A Framework for a Modal Logic Programming. JICSLP 1996: 52-66 |
| c26 | | Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150 |
| 1995 | ||
| j12 | | Laura Giordano, Alberto Martelli: A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Computational Intelligence 11: 11-46 (1995) |
| c25 | | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216 |
| 1994 | ||
| j11 | | Laura Giordano, Alberto Martelli: On Cumulative Default Logics. Artif. Intell. 66(1): 161-179 (1994) |
| j10 | | Laura Giordano, Alberto Martelli: Structuring Logic Programs: A Modal Approach. J. Log. Program. 21(2): 59-94 (1994) |
| j9 | | Laura Giordano, Alberto Martelli: Structured Prolog: A Language for Structured Logic Programming. Software - Concepts and Tools 15(3): 125- (1994) |
| c24 | | Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335 |
| c23 | | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Conditonal Logic Programming. ICLP 1994: 272-289 |
| 1993 | ||
| c22 | | Laura Giordano, Alberto Martelli, Maria Luisa Sapino: A Semantics for Eshghi and Kowalski's Procedure. ICLP 1993: 586-600 |
| c21 | | Matteo Baldoni, Laura Giordano, Alberto Martelli: A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487 |
| 1992 | ||
| j8 | | Laura Giordano, Alberto Martelli, Gianfranco Rossi: Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95(1): 43-74 (1992) |
| c20 | | Laura Giordano, Alberto Martelli: A Modal Framework for Structured Logic Programs. ELP 1992: 168-186 |
| 1991 | ||
| c19 | | Laura Giordano, Alberto Martelli, Maria Luisa Sapino: Negation as Failure and Constraints through Abduction and Defaults. AI*IA 1991: 78-87 |
| c18 | | Laura Giordano, Alberto Martelli: A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP 1991: 239-253 |
| 1990 | ||
| c17 | | Laura Giordano, Alberto Martelli: Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) 1990: 71-86 |
| c16 | | |
| c15 | | Laura Giordano, Alberto Martelli: Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP 1990: 427-441 |
| 1988 | ||
| c14 | | Alberto Martelli, Gianfranco Rossi: Enhancing Prolog to Support Prolog Programming Environments. ESOP 1988: 317-327 |
| c13 | | Laura Giordano, Alberto Martelli, Gianfranco Rossi: Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396 |
| 1986 | ||
| c12 | | Alberto Martelli, Gianfranco Rossi: On the Semantics of Logic Programing Languages. ICLP 1986: 327-334 |
| c11 | | Alberto Martelli, Corrado Moiso, Gianfranco Rossi: An Algorithm for Unification in Equational Theories. SLP 1986: 180-186 |
| 1984 | ||
| c10 | | Alberto Martelli, Gianfranco Rossi: Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS 1984: 202-209 |
| 1983 | ||
| j7 | | Roberto Barbuti, Alberto Martelli: A Structured Approach to Static Semantics Correctness. Sci. Comput. Program. 3(3): 279-311 (1983) |
| c9 | | Roberto Barbuti, Alberto Martelli: A Constructive Approach to Static Verification of Program Properties. IFIP Congress 1983: 457-462 |
| 1982 | ||
| j6 | | Alberto Martelli, Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282 (1982) |
| 1981 | ||
| j5 | | Stefania Gnesi, Ugo Montanari, Alberto Martelli: Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28(4): 737-751 (1981) |
| 1980 | ||
| c8 | | Roberto Barbuti, Alberto Martelli: Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Symposium on Programming 1980: 1-16 |
| 1979 | ||
| c7 | | 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 | ||
| j4 | | Alberto Martelli, Ugo Montanari: Optimizing Decision Trees Through Heuristically Guided Search. Commun. ACM 21(12): 1025-1039 (1978) |
| 1977 | ||
| j3 | | Alberto Martelli: On the Complexity of Admissible Search Algorithms. Artif. Intell. 8(1): 1-13 (1977) |
| c6 | | Alberto Martelli, Ugo Montanari: Theorem Proving with Structure Sharing and Efficient Unification. IJCAI 1977: 543 |
| 1976 | ||
| j2 | | Alberto Martelli: An Application of Heuristic Search Methods to Edge and Contour Detection. Commun. ACM 19(2): 73-83 (1976) |
| j1 | | Alberto Martelli: A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph. J. ACM 23(1): 58-73 (1976) |
| 1975 | ||
| c5 | | Alberto Martelli, Ugo Montanari: Form Dynamic Programming To Search Algorithms With Functional Costs. IJCAI 1975: 345-350 |
| 1974 | ||
| c4 | | |
| c3 | | Alberto Martelli: An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph. IFIP Congress 1974: 511-515 |
| 1973 | ||
| c2 | | |
| 1971 | ||
| c1 | | Alberto Martelli, Ugo Montanari: Optimal Smoothing in Picture Processing: An Application to Fingerprints. IFIP Congress (1) 1971: 173-178 |
Data released under the ODC-BY 1.0 license — See also our legal information page