dblp.uni-trier.dewww.uni-trier.de

Laura Giordano Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
71EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in ALC and EL. Description Logics 2009
70EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436
69EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): (2009)
68EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. 10(3): (2009)
2008
67EELaura Giordano, Alberto Martelli: Verifying Agents' Conformance with Multiparty Protocols. CLIMA IX 2008: 17-36
66EELaura Giordano, Alberto Martelli: Verifying the Conformance of Agents with Multiparty Protocols. ECAI 2008: 855-856
65EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205
2007
64EELaura Giordano, Alberto Martelli: Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA 2007: 145-156
63EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA 2007: 84-96
62EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Description Logics. LPAR 2007: 257-272
61EEPaolo Terenziani, Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani: Automatic Checking of the Correctness of Clinical Guidelines in GLARE. MedInfo 2007: 807-811
60EELaura Giordano, Valentina Gliozzi, Gian Luca Pozzato: KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244
59EELaura Giordano, Alberto Martelli, Camilla Schwind: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2): 214-234 (2007)
2006
58 Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758
57EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202
56EEAlberto Martelli, Laura Giordano: Reasoning About Web Services in a Temporal Action Logic. Reasoning, Action and Interaction in AI Theories and Systems 2006: 229-246
55EELaura Giordano, Alberto Martelli: Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. 46(3): 289-315 (2006)
54EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR abs/cs/0611046: (2006)
53EELaura Giordano, Alberto Martelli, Camilla Schwind: Specialization of Interaction Protocols in a Temporal Action Logic. Electr. Notes Theor. Comput. Sci. 157(4): 3-22 (2006)
2005
52EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681
51EELaura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, Stefania Montani: A Temporal Approach to the Specification and Verification of Interaction Protocols. WOA 2005: 171-176
50EELaura Giordano, Valentina Gliozzi, Nicola Olivetti: Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005)
2004
49EELaura Giordano, Alberto Martelli, Camilla Schwind: Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004: 57-69
48EELaura Giordano, Alberto Martelli: On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 2004: 133-139
47EEMatteo 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)
46EELaura Giordano, Camilla Schwind: Conditional logic of actions and causation. Artif. Intell. 157(1-2): 239-279 (2004)
2003
45EELaura Giordano, Alberto Martelli, Camilla Schwind: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274
44EEMatteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98
43EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101
2002
42EELaura Giordano, Camilla Schwind: Towards a Conditional Logic of Actions and Causation. JELIA 2002: 382-393
41 Laura Giordano, Camilla Schwind: Towards a conditional logic of actions and causation. NMR 2002: 333-342
40 Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Iterated Belief Revision and Conditional Logic. Studia Logica 70(1): 23-47 (2002)
2001
39EELaura Giordano, Valentina Gliozzi, Nicola Olivetti: Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175
38EELaura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248
37EEMatteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425
36EELaura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in Dynamic Linear Time Temporal Logic. Logic Journal of the IGPL 9(2): (2001)
2000
35 Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32
34 Laura Giordano, Alberto Martelli, Camilla Schwind: Ramification and causality in a modal action logic. J. Log. Comput. 10(5): 625-662 (2000)
33 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
32 Laura Giordano, Alberto Martelli, Camilla Schwind: Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998: 537-541
31EELaura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Belief Revision. JELIA 1998: 294-308
30EEMatteo Baldoni, Laura Giordano, Alberto Martelli: A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59
29 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)
28 Laura Giordano, Nicola Olivetti: Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. 36(2): 91-147 (1998)
1997
27 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
1996
26EEMatteo Baldoni, Laura Giordano, Alberto Martelli: Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33
25 Laura Giordano, Alberto Martelli, Maria Luisa Sapino: An Abductive Proof Procedure for Conditional Logic Programming. FAPR 1996: 231-245
24 Matteo Baldoni, Laura Giordano, Alberto Martelli: A Framework for a Modal Logic Programming. JICSLP 1996: 52-66
23 Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996: 132-150
22 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)
21EEDov 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
20 Piero A. Bonatti, Laura Giordano: Three-Valued Semantics for Extended Logic Programs. GULP-PRODE 1995: 295-306
19 Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216
18 Laura Giordano, Alberto Martelli: A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Computational Intelligence 11: 11-46 (1995)
1994
17 Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335
16 Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Conditonal Logic Programming. ICLP 1994: 272-289
15 Laura Giordano, Alberto Martelli: On Cumulative Default Logics. Artif. Intell. 66(1): 161-179 (1994)
14 Laura Giordano, Alberto Martelli: Structuring Logic Programs: A Modal Approach. J. Log. Program. 21(2): 59-94 (1994)
13 Laura Giordano, Alberto Martelli: Structured Prolog: A Language for Structured Logic Programming. Software - Concepts and Tools 15(3): 125- (1994)
1993
12 Laura Giordano, Alberto Martelli, Maria Luisa Sapino: A Semantics for Eshghi and Kowalski's Procedure. ICLP 1993: 586-600
11 Matteo Baldoni, Laura Giordano, Alberto Martelli: A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487
10EELaura Giordano: Defining Variants of Default Logic: a Modal Approach. ISMIS 1993: 59-68
1992
9EELaura Giordano, Alberto Martelli: A Modal Framework for Structured Logic Programs. ELP 1992: 168-186
8 Laura Giordano, Nicola Olivetti: Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992: 431-445
7 Laura Giordano, Alberto Martelli, Gianfranco Rossi: Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95(1): 43-74 (1992)
1991
6 Laura Giordano, Alberto Martelli, Maria Luisa Sapino: Negation as Failure and Constraints through Abduction and Defaults. AI*IA 1991: 78-87
5 Laura Giordano, Alberto Martelli: A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP 1991: 239-253
1990
4 Laura Giordano, Alberto Martelli: An Abductive Characterization of the TMS. ECAI 1990: 308-313
3 Laura Giordano, Alberto Martelli: Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP 1990: 427-441
2 Laura Giordano, Alberto Martelli: Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) 1990: 71-86
1988
1 Laura Giordano, Alberto Martelli, Gianfranco Rossi: Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396

Coauthor Index

1Luca Anselma [61]
2Matteo Baldoni [11] [17] [23] [24] [26] [29] [30] [37] [44] [47]
3Cristina Baroglio [44]
4Piero A. Bonatti [20]
5Anthony J. Bonner [27]
6Alessio Bottrighi [51] [61]
7Burkhard Freitag [27]
8Dov M. Gabbay [16] [19] [21] [33]
9Valentina Gliozzi [31] [35] [39] [40] [43] [50] [52] [54] [57] [58] [60] [62] [63] [65] [68] [69] [70] [71]
10Robert A. Kowalski [27]
11Alberto Martelli [1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [26] [29] [30] [32] [33] [34] [36] [37] [38] [44] [45] [47] [48] [49] [51] [53] [55] [56] [59] [64] [66] [67]
12Stefania Montani [51] [61]
13Nicola Olivetti [8] [16] [19] [21] [28] [31] [33] [35] [39] [40] [43] [50] [52] [54] [57] [58] [62] [63] [65] [68] [69] [70] [71]
14Viviana Patti [23] [37] [44] [47]
15Gian Luca Pozzato [52] [54] [57] [58] [60] [62] [63] [65] [69] [70] [71]
16Gianfranco Rossi [1] [7]
17Maria Luisa Sapino [6] [12] [22] [25] [33]
18Camilla Schwind [32] [34] [36] [38] [41] [42] [43] [45] [46] [49] [53] [59] [68]
19Paolo Terenziani [51] [61]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)