Search the dblp DataBase
Valentina Gliozzi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Belief Revision and the Ramsey Test: A Solution. [Citation Graph (0, 0)][DBLP]
AI*IA, 2001, pp:165-175 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti
A Conditional Logic for Iterated Belief Revision. [Citation Graph (0, 0)][DBLP]
ECAI, 2000, pp:28-32 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Automated Deduction for Logics of Default Reasoning. [Citation Graph (0, 0)][DBLP]
ECAI, 2006, pp:757-758 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti
A Conditional Logic for Belief Revision. [Citation Graph (0, 0)][DBLP]
JELIA, 1998, pp:294-308 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableau Calculi for KLM Rational Logic R. [Citation Graph (0, 0)][DBLP]
JELIA, 2006, pp:190-202 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableaux for KLM Preferential and Cumulative Logics. [Citation Graph (0, 0)][DBLP]
LPAR, 2005, pp:666-681 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
Tableau Calculi for Preference-Based Conditional Logics. [Citation Graph (0, 0)][DBLP]
TABLEAUX, 2003, pp:81-101 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Weak AGM postulates and strong Ramsey Test: A logical formalization. [Citation Graph (0, 0)][DBLP]
Artif. Intell., 2005, v:168, n:1-2, pp:1-37 [Journal] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti
Iterated Belief Revision and Conditional Logic. [Citation Graph (0, 0)][DBLP]
Studia Logica, 2002, v:70, n:1, pp:23-47 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
AI*IA, 2007, pp:84-96 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential Description Logics. [Citation Graph (0, 0)][DBLP]
LPAR, 2007, pp:257-272 [Conf] - Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP]
TABLEAUX, 2007, pp:238-244 [Conf] - Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning [Citation Graph (0, 0)][DBLP]
CoRR, 2006, v:0, n:, pp:- [Journal]
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. [Citation Graph (, )][DBLP]
Verifying Business Process Compliance by Reasoning about Actions. [Citation Graph (, )][DBLP]
Reasoning About Typicality in ALC and EL. [Citation Graph (, )][DBLP]
A constructive conditional logic for access control: a preliminary report. [Citation Graph (, )][DBLP]
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. [Citation Graph (, )][DBLP]
Reasoning about Typicality in Preferential Description Logics. [Citation Graph (, )][DBLP]
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]
Search in 0.020secs, Finished in 0.021secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002