Daniele Rispoli

Identifiers

• name variant Daniele Rispoli 0.60 · backfill

Papers (1)

1. Embedding and Automating Conditional Logics in Classical Higher-Order Logic cs.AI · 2011 · author #4

Mentions

• 1106.3685 #4 · backfill · confidence 0.70 Daniele Rispoli

Frequent Coauthors

• Christoph Benzmueller 1 shared papers
• Dov Gabbay 1 shared papers
• Valerio Genovese 1 shared papers