|
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 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]
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|