| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Laura Giordano 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) Laura Giordano, Camilla Schwind : Conditional logic of actions and causation. Artif. Intell. 157 (1-2): 239-279 (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 , Laura Giordano, Alberto Martelli , Viviana Patti : Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003 : 84-98 Laura Giordano, Valentina Gliozzi , Nicola Olivetti , Camilla Schwind : Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003 : 81-101 Laura Giordano, Camilla Schwind : Towards a Conditional Logic of Actions and Causation. JELIA 2002 : 382-393 Laura Giordano, Camilla Schwind : Towards a conditional logic of actions and causation. NMR 2002 : 333-342 Laura Giordano, Valentina Gliozzi , Nicola Olivetti : Iterated Belief Revision and Conditional Logic. Studia Logica 70 (1): 23-47 (2002) Laura Giordano, Valentina Gliozzi , Nicola Olivetti : Belief Revision and the Ramsey Test: A Solution. AI*IA 2001 : 165-175 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, Valentina Gliozzi , Nicola Olivetti : A Conditional Logic for Iterated Belief Revision. ECAI 2000 : 28-32 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 Laura Giordano, Valentina Gliozzi , Nicola Olivetti : A Conditional Logic for Belief Revision. JELIA 1998 : 294-308 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) Laura Giordano, Nicola Olivetti : Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. 36 (2): 91-147 (1998) Anthony J. Bonner , Burkhard Freitag , Laura Giordano, Robert A. Kowalski : Workshop DYNAMICS 97: (Trans)Actions and Change in Logic Programming and Deductive Databases. ILPS 1997 : 415-416 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) Piero A. Bonatti , Laura Giordano: Three-Valued Semantics for Extended Logic Programs. GULP-PRODE 1995 : 295-306 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: Defining Variants of Default Logic: a Modal Approach. ISMIS 1993 : 59-68 Laura Giordano, Alberto Martelli : A Modal Framework for Structured Logic Programs. ELP 1992 : 168-186 Laura Giordano, Nicola Olivetti : Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992 : 431-445 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 Laura Giordano, Alberto Martelli , Gianfranco Rossi : Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988 : 389-396 1 [ 11 ] [ 17 ] [ 22 ] [ 23 ] [ 25 ] [ 28 ] [ 29 ] [ 36 ] [ 43 ] [ 46 ] 2 [ 43 ] 3 [ 20 ] 4 [ 26 ] 5 [ 26 ] 6 [ 16 ] [ 19 ] [ 32 ] 7 [ 30 ] [ 34 ] [ 38 ] [ 39 ] [ 42 ] 8 [ 26 ] 9 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 9 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 28 ] [ 29 ] [ 31 ] [ 32 ] [ 33 ] [ 35 ] [ 36 ] [ 37 ] [ 43 ] [ 44 ] [ 46 ] [ 47 ] [ 48 ] 10 [ 8 ] [ 16 ] [ 19 ] [ 27 ] [ 30 ] [ 32 ] [ 34 ] [ 38 ] [ 39 ] [ 42 ] 11 [ 22 ] [ 36 ] [ 43 ] [ 46 ] 12 [ 1 ] [ 7 ] 13 [ 6 ] [ 12 ] [ 21 ] [ 24 ] [ 32 ] 14 [ 31 ] [ 33 ] [ 35 ] [ 37 ] [ 40 ] [ 41 ] [ 42 ] [ 44 ] [ 45 ] [ 48 ]  ©2005 Association for Computing Machinery |
