Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Laura Giordano
2010 – today
- 2013
[j26]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013)- [j25]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about actions with Temporal Answer Sets. TPLP 13(2): 201-225 (2013)
- [i3]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: On Rational Closure in Description Logics of Typicality. CoRR abs/1305.1060 (2013)
- 2012
- [c69]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Modal Reconstruction of Rational Closure. CILC 2012: 161-175
- [c68]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Verification of Action Theories in ASP: A Complete Bounded Model Checking Approach. CILC 2012: 176-190
- [c67]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012
- [c66]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241
- [c65]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Achieving Completeness in Bounded Model Checking of Action Theories in ASP. KR 2012
- 2011
- [j24]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind: Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5(1): 127-131 (2011)
- [c64]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA 2011: 164-176
- [c63]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC 2011: 41-55
- [c62]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
- [c61]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. IJCAI 2011: 894-899
- [c60]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179
- [c59]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. TABLEAUX 2011: 180-195
- [i2]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about Actions with Temporal Answer Sets. CoRR abs/1110.3672 (2011)
- 2010
- [j23]Alessio Bottrighi, Laura Giordano, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio: Adopting model checking techniques for clinical guidelines verification. Artificial Intelligence in Medicine 48(1): 1-19 (2010)
- [c58]Laura Giordano, Francesca Toni: Knowledge Representation and Non-monotonic Reasoning. 25 Years GULP 2010: 87-111
- [c57]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A Constructive Conditional Logic for Access Control. CILC 2010
- [c56]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010
- [c55]Laura Giordano, Alberto Martelli, Daniele Theseider Dupré: Reasoning about Actions with Temporal Answer Sets. CILC 2010
- [c54]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
- [c53]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070
- [c52]Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074
- [c51]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332
2000 – 2009
- 2009
- [j22]Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato: ALC + T: a Preferential Extension of Description Logics. Fundam. Inform. 96(3): 341-372 (2009)
- [j21]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3) (2009)
- [j20]Laura 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)
- [c50]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. AI*IA 2009: 62-71
- [c49]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in ALC and EL. Description Logics 2009
- [c48]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436
- 2008
- [c47]Laura Giordano, Alberto Martelli: Verifying Agents' Conformance with Multiparty Protocols. CLIMA 2008: 17-36
- [c46]Laura Giordano, Alberto Martelli: Verifying the Conformance of Agents with Multiparty Protocols. ECAI 2008: 855-856
- [c45]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205
- 2007
- [j19]Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2): 214-234 (2007)
- [c44]Laura 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
- [c43]Laura Giordano, Alberto Martelli: Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic. AI*IA 2007: 145-156
- [c42]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Description Logics. LPAR 2007: 257-272
- [c41]Paolo Terenziani, Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani: Automatic Checking of the Correctness of Clinical Guidelines in GLARE. MedInfo 2007: 807-811
- [c40]Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244
- 2006
- [j18]Laura Giordano, Alberto Martelli: Tableau-based automata construction for dynamic linear time temporal logic*. Ann. Math. Artif. Intell. 46(3): 289-315 (2006)
- [j17]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)
- [c39]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
- [c38]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758
- [c37]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202
- [i1]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. CoRR abs/cs/0611046 (2006)
- 2005
- [j16]Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005)
- [c36]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681
- [c35]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
- 2004
- [j15]Laura Giordano, Camilla Schwind: Conditional logic of actions and causation. Artif. Intell. 157(1-2): 239-279 (2004)
- [j14]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)
- [c34]Laura Giordano, Alberto Martelli, Camilla Schwind: Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004: 57-69
- [c33]Laura Giordano, Alberto Martelli: On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. TIME 2004: 133-139
- 2003
- [c32]Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274
- [c31]Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003: 84-98
- [c30]Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101
- 2002
- [j13]Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Iterated Belief Revision and Conditional Logic. Studia Logica 70(1): 23-47 (2002)
- [c29]Laura Giordano, Camilla Schwind: Towards a Conditional Logic of Actions and Causation. JELIA 2002: 382-393
- [c28]Laura Giordano, Camilla Schwind: Towards a conditional logic of actions and causation. NMR 2002: 333-342
- 2001
- [j12]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)
- [c27]Laura Giordano, Valentina Gliozzi, Nicola Olivetti: Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175
- [c26]Laura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248
- [c25]Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti: Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001: 405-425
- 2000
- [j11]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)
- [j10]Laura Giordano, Alberto Martelli, Camilla Schwind: Ramification and causality in a modal action logic. J. Log. Comput. 10(5): 625-662 (2000)
- [c24]Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32
1990 – 1999
- 1998
- [j9]Laura Giordano, Nicola Olivetti: Combining Negation as Failure and Embedded Implications in Logic Programs. J. Log. Program. 36(2): 91-147 (1998)
- [j8]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)
- [c23]Laura Giordano, Alberto Martelli, Camilla Schwind: Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998: 537-541
- [c22]Laura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Belief Revision. JELIA 1998: 294-308
- [c21]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998: 44-59
- 1997
- [c20]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
- [j7]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)
- [j6]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)
- [c19]Matteo Baldoni, Laura Giordano, Alberto Martelli: Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996: 19-33
- [c18]Laura Giordano, Alberto Martelli, Maria Luisa Sapino: An Abductive Proof Procedure for Conditional Logic Programming. FAPR 1996: 231-245
- [c17]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Framework for a Modal Logic Programming. JICSLP 1996: 52-66
- [c16]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
- [j5]Laura Giordano, Alberto Martelli: A Logical Characterization for Truth Maintenance Systems with Dependency-Directed Backtracking. Computational Intelligence 11: 11-46 (1995)
- [c15]Piero A. Bonatti, Laura Giordano: Three-Valued Semantics for Extended Logic Programs. GULP-PRODE 1995: 295-306
- [c14]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR 1995: 203-216
- 1994
- [j4]Laura Giordano, Alberto Martelli: On Cumulative Default Logics. Artif. Intell. 66(1): 161-179 (1994)
- [j3]Laura Giordano, Alberto Martelli: Structuring Logic Programs: A Modal Approach. J. Log. Program. 21(2): 59-94 (1994)
- [j2]Laura Giordano, Alberto Martelli: Structured Prolog: A Language for Structured Logic Programming. Software - Concepts and Tools 15(3): 125- (1994)
- [c13]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Modal Extension of Logic Programming. GULP-PRODE (2) 1994: 324-335
- [c12]Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti: Conditonal Logic Programming. ICLP 1994: 272-289
- 1993
- [c11]Laura Giordano, Alberto Martelli, Maria Luisa Sapino: A Semantics for Eshghi and Kowalski's Procedure. ICLP 1993: 586-600
- [c10]
- [c9]Matteo Baldoni, Laura Giordano, Alberto Martelli: A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993: 473-487
- 1992
- [j1]Laura Giordano, Alberto Martelli, Gianfranco Rossi: Extending Horn Clause Logic with Implication Goals. Theor. Comput. Sci. 95(1): 43-74 (1992)
- [c8]Laura Giordano, Alberto Martelli: A Modal Framework for Structured Logic Programs. ELP 1992: 168-186
- [c7]Laura Giordano, Nicola Olivetti: Negation as Failure in Intuitionistic Logic Programming. JICSLP 1992: 431-445
- 1991
- [c6]Laura Giordano, Alberto Martelli, Maria Luisa Sapino: Negation as Failure and Constraints through Abduction and Defaults. AI*IA 1991: 78-87
- [c5]Laura Giordano, Alberto Martelli: A Modal Reconstruction of Blocks and Modules in Logic Programming. ISLP 1991: 239-253
- 1990
- [c4]Laura Giordano, Alberto Martelli: Truth Maintenance Systems and Belief Revision. Truth Maintenance Systems (ECAI Workshop) 1990: 71-86
- [c3]
- [c2]Laura Giordano, Alberto Martelli: Generalized Stable Models, Truth Maintenance and Conflict Resolution. ICLP 1990: 427-441
1980 – 1989
- 1988
- [c1]Laura Giordano, Alberto Martelli, Gianfranco Rossi: Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-03 20:08 CEST by the dblp team