pith. sign in

Gian Luca Pozzato

Identifiers

  • name variant Gian Luca Pozzato 0.60 · backfill

Papers (4)

  1. Rational Closure in SHIQ cs.AI · 2014 · author #4
  2. On Rational Closure in Description Logics of Typicality cs.AI · 2013 · author #4
  3. Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning cs.LO · 2006 · author #4
  4. A Sequent Calculus and a Theorem Prover for Standard Conditional Logics cs.LO · 2004 · author #2

Mentions

  • 1406.2023 #4 · backfill · confidence 0.70 Gian Luca Pozzato
  • 1305.1060 #4 · backfill · confidence 0.70 Gian Luca Pozzato

Frequent Coauthors