Valerio Genovese

Identifiers

• name variant Valerio Genovese 0.60 · backfill

Papers (2)

1. Quantified Conditional Logics are Fragments of HOL cs.AI · 2012 · author #2
2. Embedding and Automating Conditional Logics in Classical Higher-Order Logic cs.AI · 2011 · author #3

Mentions

• 1204.5920 #2 · backfill · confidence 0.70 Valerio Genovese
• 1106.3685 #3 · backfill · confidence 0.70 Valerio Genovese

Frequent Coauthors

• Christoph Benzmueller 2 shared papers
• Daniele Rispoli 1 shared papers
• Dov Gabbay 1 shared papers