The SCEAS System
| |||||||

## Search the dblp DataBase
Gian Luca Pozzato:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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, 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] - Nicola Olivetti, Gian Luca Pozzato
**CondLean: A Theorem Prover for Conditional Logics.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2003, pp:264-270 [Conf] - Nicola Olivetti, Gian Luca Pozzato
**CondLean 3.0: Improving CondLean for Stronger Conditional Logics.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2005, pp:328-332 [Conf] - Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
**A Sequent Calculus and a Theorem Prover for Standard Conditional Logics**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [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] - Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
**A sequent calculus and a theorem prover for standard conditional logics.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2007, v:8, n:4, pp:- [Journal] **Reasoning about Typicality with Low Complexity Description Logics: The Logic**[Citation Graph (, )][DBLP]*EL*^{+^}T.**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]**CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity.**[Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |