default search action

combined dblp search
author search
venue search
publication search

ask others

Valentina Gliozzi

> Home > Persons

Person information

affiliation: University of Turin, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/ismis/ValeseGP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismis/ValeseGP24
Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato:
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. ISMIS 2024: 24-32
2023
[c55]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/GliozziPV23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/GliozziPV23
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese:
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. CILC 2023
2022
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/displays/GliozziPV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/displays/GliozziPV22
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese:
Combining neural and symbolic approaches to solve the Picasso problem: A first step. Displays 74: 102203 (2022)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GiordanoGD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GiordanoGD22
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps. J. Log. Comput. 32(2): 178-205 (2022)
[c54]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/AlvianoBBE0GD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/AlvianoBBE0GD22
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional and Multi-preferential Approach to Explainability of Neural Network Models in Computational Logic (Extended Abstract). XAI.it@AI*IA 2022: 64-72
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ki/BartoliBE0GD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BartoliBE0GD22
Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasonig to Neural Network Models: a Conditional and Multi-preferential Approach for Explainability and Neuro-Symbolic Integration. FCR@KI 2022: 66-78
2021
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiordanoG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiordanoG21
Laura Giordano, Valentina Gliozzi:
A reconstruction of multipreference closure. Artif. Intell. 290: 103398 (2021)
[c52]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gandalf/0001GD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gandalf/0001GD21
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Preferential Reasoning with Typicality and Neural Network Models (Extended Abstract). OVERLAY@GandALF 2021: 83-89
[c51]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/jowo/0001GD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jowo/0001GD21
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A Multipreference Semantics from Common Sense Reasoning to Neural Network Models: An Overview. JOWO 2021
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2103-06854
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-06854
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
A conditional, a fuzzy and a probabilistic interpretation of self-organising maps. CoRR abs/2103.06854 (2021)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-04870
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-04870
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
From Common Sense Reasoning to Neural Network Models through Multiple Preferences: an overview. CoRR abs/2107.04870 (2021)
2020
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GiordanoG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GiordanoG20
Laura Giordano, Valentina Gliozzi:
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. Fundam. Informaticae 176(3-4): 235-269 (2020)
[c50]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/0001GD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/0001GD20
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
Towards a Conditional Interpretation of Self Organizing Maps. XAI.it@AI*IA 2020: 127-134
[c49]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/0001GD20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/0001GD20
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a Plausible Concept-wise Multipreference Semantics and its Relations with Self-organising Maps. CILC 2020: 127-140
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/ssw/GiordanoGLOP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ssw/GiordanoGLOP20
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality and Probabilities in Preferential Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 145-161
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-09507
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-09507
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR abs/2004.09507 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2008-13278
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-13278
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré:
On a plausible concept-wise multipreference semantics and its relations with self-organising maps. CoRR abs/2008.13278 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c48]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/0001G19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/0001G19
Laura Giordano, Valentina Gliozzi:
Strengthening the Rational Closure for Description Logics: An Overview. CILC 2019: 68-81
[c47]
- view
  - electronic edition @ mindmodeling.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/CerratoAGE19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/CerratoAGE19
Mattia Cerrato, Edoardo Arnaudo, Valentina Gliozzi, Roberto Esposito:
Taxonomic and Whole Object Constraints: A Deep Architecture. CogSci 2019: 1465-1471
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/0001G19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/0001G19
Laura Giordano, Valentina Gliozzi:
Reasoning About Exceptions in Ontologies: An Approximation of the Multipreference Semantics. ECSQARU 2019: 212-225
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-03855
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-03855
Laura Giordano, Valentina Gliozzi:
A reconstruction of the multipreference closure. CoRR abs/1905.03855 (2019)
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cogsr/GliozziM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cogsr/GliozziM18
Valentina Gliozzi, Matteo Madeddu:
A visual auditory model based on Growing Self-Organizing Maps to analyze the taxonomic response in early childhood. Cogn. Syst. Res. 52: 668-677 (2018)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GiordanoGO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GiordanoGO18
Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Towards a Rational Closure for Expressive Description Logics: the Case of 풮풽풾퓆. Fundam. Informaticae 159(1-2): 95-122 (2018)
[c45]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/0001G18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/0001G18
Laura Giordano, Valentina Gliozzi:
Reasoning About Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure. PRUV@IJCAR 2018
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-07161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-07161
Laura Giordano, Valentina Gliozzi:
Reasoning about multiple aspects in DLs: Semantics and Closure Construction. CoRR abs/1801.07161 (2018)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1802-09442
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-09442
Valentina Gliozzi, Kim Plunkett:
Self-organizing maps and generalization: an algorithmic description of Numerosity and Variability Effects. CoRR abs/1802.09442 (2018)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-02879
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-02879
Laura Giordano, Valentina Gliozzi:
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure. CoRR abs/1807.02879 (2018)
2017
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GiordanoGPP17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GiordanoGPP17a
Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato:
Preface. Fundam. Informaticae 150(1): v-vi (2017)
[c44]
- view
  - electronic edition @ mindmodeling.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/FenoglioEG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/FenoglioEG17
Giorgia Fenoglio, Roberto Esposito, Valentina Gliozzi:
A Neural Network Model for Taxonomic Responding with Realistic Visual Inputs. CogSci 2017
[c43]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/0001GPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/0001GPR17
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics 2017
[c42]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/0001GPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/0001GPR17
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli:
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC 2017: 306-320
2016
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/Gliozzi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/Gliozzi16
Valentina Gliozzi:
Reasoning about Multiple Aspects in Rational Closure for DLs. AI*IA 2016: 392-405
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/Gliozzi16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Gliozzi16
Valentina Gliozzi:
A strengthening of rational closure in DLs: reasoning about multiple aspects. CoRR abs/1604.00301 (2016)
2015
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiordanoGOP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiordanoGOP15
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226: 1-33 (2015)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiordanoGOPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiordanoGOPV15
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA 2015: 164-178
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiordanoGOPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiordanoGOPV15
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti:
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics 2015
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ismis/GiordanoG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismis/GiordanoG15
Laura Giordano, Valentina Gliozzi:
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. ISMIS 2015: 248-258
2014
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GenoveseGGP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GenoveseGGP14
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Logics in access control: a conditional approach. J. Log. Comput. 24(4): 705-762 (2014)
[c37]
- view
  - electronic edition @ escholarship.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/Gliozzi14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/Gliozzi14
Valentina Gliozzi:
A logical analysis of typicality. CogSci 2014
[c36]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiordanoGOP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiordanoGOP14
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. Description Logics 2014: 543-555
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ictcs/GiordanoGOP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictcs/GiordanoGOP14
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal models for rational closure in SHIQ. ICTCS 2014: 271-277
[e1]
- view
- export record
  dblp key:
  - conf/cilc/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/2014
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CEUR Workshop Proceedings 1195, CEUR-WS.org 2014 [contents]
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GiordanoGOP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GiordanoGOP14
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Rational Closure in SHIQ. CoRR abs/1406.2023 (2014)
2013
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiordanoGOP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiordanoGOP13
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195: 165-202 (2013)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiordanoGJOP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiordanoGJOP13
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato:
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA 2013: 60-72
[c33]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/GiordanoGOP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/GiordanoGOP13
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Semantics for Rational Closure: Preliminary Results. CILC 2013: 99-113
[c32]
- view
  - electronic edition @ escholarship.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cogsci/GliozziAMP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cogsci/GliozziAMP13
Valentina Gliozzi, Nadja Althaus, Julien Mayor, Kim Plunkett:
Primacy/recency effects in infant categorisation. CogSci 2013
[c31]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiordanoGOP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiordanoGOP13
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics 2013: 168-180
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1305-1060
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1305-1060
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
On Rational Closure in Description Logics of Typicality. CoRR abs/1305.1060 (2013)
2012
[c30]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/GiordanoGOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/GiordanoGOP12
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Modal Reconstruction of Rational Closure. CILC 2012: 161-175
[c29]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiordanoGOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiordanoGOP12
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics 2012
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GiordanoGOP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GiordanoGOP12
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA 2012: 228-241
2011
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ia/GiordanoGOPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ia/GiordanoGOPS11
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)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiordanoGOP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiordanoGOP11
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
[c26]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/GiordanoGOP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/GiordanoGOP11
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC 2011: 41-55
[c25]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/DAprileGGMPD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/DAprileGGMPD11
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
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/GiordanoGOP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GiordanoGOP11
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Low Complexity DLs: The Logics EL^⊥T_min and DL-Lite_c T_min. IJCAI 2011: 894-899
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/GenoveseGGP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/GenoveseGGP11
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX 2011: 164-179
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/GiordanoGOP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/GiordanoGOP11
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
2010
[c21]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/GenoveseGGP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/GenoveseGGP10
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A Constructive Conditional Logic for Access Control. CILC 2010
[c20]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cilc/GiordanoGOP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/GiordanoGOP10
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC 2010
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/DAprileGGMPD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/DAprileGGMPD10
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
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GiordanoGOP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiordanoGOP10
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI 2010: 1069-1070
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GenoveseGGP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GenoveseGGP10
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
A constructive conditional logic for access control: a preliminary report. ECAI 2010: 1073-1074
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GiordanoGOP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GiordanoGOP10
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) 2010: 317-332

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/cogsci/GliozziMHP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cogsci/GliozziMHP09
Valentina Gliozzi, Julien Mayor, Jon-Fan Hu, Kim Plunkett:
Labels as Features (Not Names) for Infant Categorization: A Neurocomputational Approach. Cogn. Sci. 33(4): 709-738 (2009)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GiordanoOGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GiordanoOGP09
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato:
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96(3): 341-372 (2009)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GiordanoGOP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GiordanoGOP09
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10(3): 18:1-18:47 (2009)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/GiordanoGOS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/GiordanoGOS09
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): 21:1-21:50 (2009)
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiordanoGOP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiordanoGOP09
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
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dlog/GiordanoGOP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GiordanoGOP09
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning About Typicality in ALC and EL. Description Logics 2009
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/GiordanoGOP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/GiordanoGOP09
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR 2009: 430-436
2008
[c12]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/birthday/0001GOPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/0001GOPS08
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind:
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione 2008
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GiordanoGOP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GiordanoGOP08
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Reasoning about Typicality in Preferential Description Logics. JELIA 2008: 192-205
2007
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiordanoGOP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiordanoGOP07
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
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GiordanoGOP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GiordanoGOP07
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Preferential Description Logics. LPAR 2007: 257-272
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/GiordanoGP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/GiordanoGP07
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato:
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX 2007: 238-244
2006
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/GiordanoGOP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiordanoGOP06
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning. ECAI 2006: 757-758
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GiordanoGOP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GiordanoGOP06
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableau Calculi for KLM Rational Logic R. JELIA 2006: 190-202
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0611046
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0611046
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning. CoRR abs/cs/0611046 (2006)
2005
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/GiordanoGO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/GiordanoGO05
Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Weak AGM postulates and strong Ramsey Test: A logical formalization. Artif. Intell. 168(1-2): 1-37 (2005)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/GiordanoGOP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/GiordanoGOP05
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR 2005: 666-681
2003
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/GiordanoGOS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/GiordanoGOS03
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101
2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/GiordanoGO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/GiordanoGO02
Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Iterated Belief Revision and Conditional Logic. Stud Logica 70(1): 23-47 (2002)
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GiordanoGO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GiordanoGO01
Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
Belief Revision and the Ramsey Test: A Solution. AI*IA 2001: 165-175
2000
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/GiordanoGO00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GiordanoGO00
Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision. ECAI 2000: 28-32

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GiordanoGO98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GiordanoGO98
Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Belief Revision. JELIA 1998: 294-308

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.