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

Valentina Gliozzi Home Page Coauthor index pubzone.org

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

DBLP keys2012
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012
2011
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot. TABLEAUX 2011: 180-195
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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)
2010
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato: A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332
2009
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning About Typicality in ALC and EL. Description Logics 2009
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): (2009)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValentina Gliozzi, Julien Mayor, Jon-Fan Hu, Kim Plunkett: Labels as Features (Not Names) for Infant Categorization: A Neurocomputational Approach. Cognitive Science 33(4): 709-738 (2009)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato: ALC + T: a Preferential Extension of Description Logics. Fundam. Inform. 96(3): 341-372 (2009)
2008
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205
2007
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Description Logics. LPAR 2007: 257-272
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Gian Luca Pozzato: KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244
2006
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR abs/cs/0611046: (2006)
2005
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti: Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005)
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101
2002
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti: Iterated Belief Revision and Conditional Logic. Studia Logica 70(1): 23-47 (2002)
2001
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti: Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175
2000
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Giordano, Valentina Gliozzi, Nicola Olivetti: A Conditional Logic for Belief Revision. JELIA 1998: 294-308

Coauthor Index

1Davide D'Aprile [25]
2Daniele Theseider Dupré [25]
3Valerio Genovese [23] [28]
4Laura Giordano [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31]
5Jon-Fan Hu [16]
6Alberto Martelli [25]
7Julien Mayor [16]
8Nicola Olivetti [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [24] [26] [27] [29] [30] [31]
9Kim Plunkett [16]
10Gian Luca Pozzato [7] [8] [9] [10] [11] [12] [13] [14] [15] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31]
11Camilla Schwind [5] [17] [26]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page