Valerio Genovese | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Christoph Benzmueller
6 publications
Dov Gabbay
6 publications
Daniele Rispoli
1 publication

research

∙ 04/26/2012

Quantified Conditional Logics are Fragments of HOL

A semantic embedding of (constant domain) quantified conditional logic i...

0 Christoph Benzmueller, et al. ∙

research

∙ 06/18/2011

Embedding and Automating Conditional Logics in Classical Higher-Order Logic

A sound and complete embedding of conditional logics into classical high...

0 Christoph Benzmueller, et al. ∙