| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Alberto Martelli 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 Laura Giordano , Alberto Martelli, Camilla Schwind : Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004 : 57-69 Laura Giordano , Alberto Martelli: On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 2004 : 133-139 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) 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) Laura Giordano , Alberto Martelli, Camilla Schwind : Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003 : 262-274 Matteo Baldoni , Cristina Baroglio , Alberto Martelli, Viviana Patti : Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003 : 300-311 Matteo Baldoni , Cristina Baroglio , Alberto Martelli, Viviana Patti : Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003 : 228-241 Matteo Baldoni , Cristina Baroglio , Laura Giordano , Alberto Martelli, Viviana Patti : Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003 : 84-98 Matteo Baldoni , Cristina Baroglio , Alberto Martelli, Viviana Patti : Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003 : 29-35 Laura Giordano , Alberto Martelli, Camilla Schwind : Reasoning about Actions in a Multiagent Domain. AI*IA 2001 : 237-248 Matteo Baldoni , Laura Giordano , Alberto Martelli, Viviana Patti : Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001 : 405-425 Laura Giordano , Alberto Martelli, Camilla Schwind : Reasoning about Actions in Dynamic Linear Time Temporal Logic. Logic Journal of the IGPL 9 (2): (2001) Laura Giordano , Alberto Martelli, Camilla Schwind : Ramification and causality in a modal action logic. J. Log. Comput. 10 (5): 625-662 (2000) 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) Laura Giordano , Alberto Martelli, Camilla Schwind : Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998 : 537-541 Matteo Baldoni , Laura Giordano , Alberto Martelli: A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998 : 44-59 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) Matteo Baldoni , Laura Giordano , Alberto Martelli: Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996 : 19-33 Laura Giordano , Alberto Martelli, Maria Luisa Sapino : An Abductive Proof Procedure for Conditional Logic Programming. FAPR 1996 : 231-245 Matteo Baldoni , Laura Giordano , Alberto Martelli: A Framework for a Modal Logic Programming. JICSLP 1996 : 52-66 Matteo Baldoni , Laura Giordano , Alberto Martelli, Viviana Patti : An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996 : 132-150 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) Dov M. Gabbay , Laura Giordano , Alberto Martelli, Nicola Olivetti : Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995 : 203-216 Laura Giordano , Alberto Martelli: A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Computational Intelligence 11 : 11-46 (1995) Matteo Baldoni , Laura Giordano , Alberto Martelli: A Modal Extension of Logic Programming. GULP-PRODE (2) 1994 : 324-335 Dov M. Gabbay , Laura Giordano , Alberto Martelli, Nicola Olivetti : Conditonal Logic Programming. ICLP 1994 : 272-289 Laura Giordano , Alberto Martelli: On Cumulative Default Logics. Artif. Intell. 66 (1): 161-179 (1994) Laura Giordano , Alberto Martelli: Structuring Logic Programs: A Modal Approach. J. Log. Program. 21 (2): 59-94 (1994) Laura Giordano , Alberto Martelli: Structured Prolog: A Language for Structured Logic Programming. Software - Concepts and Tools 15 (3): 125- (1994) Laura Giordano , Alberto Martelli, Maria Luisa Sapino : A Semantics for Eshghi and Kowalski's Procedure. ICLP 1993 : 586-600 Matteo Baldoni , Laura Giordano , Alberto Martelli: A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993 : 473-487 Laura Giordano , Alberto Martelli: A Modal Framework for Structured Logic Programs. ELP 1992 : 168-186 Laura Giordano , Alberto Martelli, Gianfranco Rossi : Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95 (1): 43-74 (1992) Laura Giordano , Alberto Martelli, Maria Luisa Sapino : Negation as Failure and Constraints through Abduction and Defaults. AI*IA 1991 : 78-87 Laura Giordano , Alberto Martelli: A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP 1991 : 239-253 Laura Giordano , Alberto Martelli: An Abductive Characterization of the TMS. ECAI 1990 : 308-313 Laura Giordano , Alberto Martelli: Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP 1990 : 427-441 Laura Giordano , Alberto Martelli: Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) 1990 : 71-86 Alberto Martelli, Gianfranco Rossi : Enhancing Prolog to Support Prolog Programming Environments. ESOP 1988 : 317-327 Laura Giordano , Alberto Martelli, Gianfranco Rossi : Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988 : 389-396 Alberto Martelli, Gianfranco Rossi : On the Semantics of Logic Programing Languages. ICLP 1986 : 327-334 Alberto Martelli, Corrado Moiso , Gianfranco Rossi : An Algorithm for Unification in Equational Theories. SLP 1986 : 180-186 Alberto Martelli, Gianfranco Rossi : Efficient Unificatioin with Infinite Terms in Logic Programming. FGCS 1984 : 202-209 Roberto Barbuti , Alberto Martelli: A Constructive Approach to Static Verification of Program Properties. IFIP Congress 1983 : 457-462 Roberto Barbuti , Alberto Martelli: A Structured Approach to Static Semantics Correctness. Sci. Comput. Program. 3 (3): 279-311 (1983) Alberto Martelli, Ugo Montanari : An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4 (2): 258-282 (1982) Stefania Gnesi , Ugo Montanari , Alberto Martelli: Dynamic Programming as Graph Searching: An Algebraic Approach. J. ACM 28 (4): 737-751 (1981) Roberto Barbuti , Alberto Martelli: Static Type Checking for Languages with Parametric Types and Polymorphic Procedures. Symposium on Programming 1980 : 1-16 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 Alberto Martelli, Ugo Montanari : Optimizing Decision Trees Through Heuristically Guided Search. Commun. ACM 21 (12): 1025-1039 (1978) Alberto Martelli, Ugo Montanari : Theorem Proving with Structure Sharing and Efficient Unification. IJCAI 1977 : 543 Alberto Martelli: On the Complexity of Admissible Search Algorithms. Artif. Intell. 8 (1): 1-13 (1977) Alberto Martelli: An Application of Heuristic Search Methods to Edge and Contour Detection. Commun. ACM 19 (2): 73-83 (1976) Alberto Martelli: A Gaussian Elimination Algorithm for the Enumeration of Cut Sets in a Graph. J. ACM 23 (1): 58-73 (1976) Alberto Martelli, Ugo Montanari : Form Dynamic Programming To Search Algorithms With Functional Costs. IJCAI 1975 : 345-350 Alberto Martelli, Ugo Montanari : Dynamic Programming Schemata. ICALP 1974 : 66-80 Alberto Martelli: An Application of Regular Algebra to the Enumeration of Cut Sets in a Graph. IFIP Congress 1974 : 511-515 Alberto Martelli, Ugo Montanari : Additive AND/OR Graphs. IJCAI 1973 : 1-11 Alberto Martelli, Ugo Montanari : Optimal Smoothing in Picture Processing: An Application to Fingerprints. IFIP Congress (1) 1971 : 173-178 1 [ 11 ] 2 [ 29 ] [ 35 ] [ 39 ] [ 40 ] [ 42 ] [ 43 ] [ 44 ] [ 49 ] [ 51 ] [ 52 ] [ 53 ] [ 54 ] [ 56 ] [ 57 ] [ 60 ] 3 [ 12 ] [ 15 ] [ 16 ] 4 [ 51 ] [ 52 ] [ 53 ] [ 54 ] [ 56 ] 5 [ 11 ] 6 [ 34 ] [ 37 ] [ 46 ] 7 [ 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 ] [ 52 ] [ 55 ] [ 57 ] [ 58 ] [ 59 ] 8 [ 13 ] 9 [ 11 ] 10 [ 18 ] 11 [ 1 ] [ 2 ] [ 4 ] [ 5 ] [ 9 ] [ 10 ] [ 11 ] [ 13 ] [ 14 ] 12 [ 34 ] [ 37 ] [ 46 ] 13 [ 60 ] 14 [ 11 ] 15 [ 60 ] 16 [ 39 ] [ 49 ] [ 51 ] [ 52 ] [ 53 ] [ 54 ] [ 56 ] [ 57 ] 17 [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 27 ] 18 [ 26 ] [ 30 ] [ 38 ] [ 41 ] [ 46 ] 19 [ 45 ] [ 47 ] [ 48 ] [ 50 ] [ 55 ] [ 59 ] 20 [ 11 ] 21 [ 11 ]  ©2005 Association for Computing Machinery |
