Gian Luca Pozzato
Identifiers
- name variant Gian Luca Pozzato 0.60 · backfill
Papers (4)
- Rational Closure in SHIQ cs.AI · 2014 · author #4
- On Rational Closure in Description Logics of Typicality cs.AI · 2013 · author #4
- Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning cs.LO · 2006 · author #4
- A Sequent Calculus and a Theorem Prover for Standard Conditional Logics cs.LO · 2004 · author #2
Mentions
Frequent Coauthors
- Nicola Olivetti 4 shared papers
- Laura Giordano 3 shared papers
- Valentina Gliozzi 3 shared papers
- Camilla Schwind 1 shared papers