The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Valentina Gliozzi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
    A Conditional Logic for Iterated Belief Revision. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:28-32 [Conf]
  3. 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]
  4. Laura Giordano, Valentina Gliozzi, Nicola Olivetti
    A Conditional Logic for Belief Revision. [Citation Graph (0, 0)][DBLP]
    JELIA, 1998, pp:294-308 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
    Preferential Description Logics. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:257-272 [Conf]
  12. 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]
  13. 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]

  14. Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. [Citation Graph (, )][DBLP]


  15. Verifying Business Process Compliance by Reasoning about Actions. [Citation Graph (, )][DBLP]


  16. Reasoning About Typicality in ALC and EL. [Citation Graph (, )][DBLP]


  17. A constructive conditional logic for access control: a preliminary report. [Citation Graph (, )][DBLP]


  18. Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. [Citation Graph (, )][DBLP]


  19. Reasoning about Typicality in Preferential Description Logics. [Citation Graph (, )][DBLP]


  20. Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002