Uwe Waldmann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Peter Baumgartner
10 publications
Alexander Bentkamp
8 publications
Sophie Tourret
5 publications
Jasmin Blanchette
3 publications
Simon Cruanes
3 publications
Petar Vukmirović
3 publications

research

∙ 01/31/2021

Superposition with Lambdas

We designed a superposition calculus for a clausal fragment of extension...

0 Alexander Bentkamp, et al. ∙

research

∙ 05/05/2020

Superposition for Lambda-Free Higher-Order Logic

We introduce refutationally complete superposition calculi for intention...

0 Alexander Bentkamp, et al. ∙

research

∙ 04/07/2019

Hierarchic Superposition Revisited

Many applications of automated deduction require reasoning in first-orde...

0 Peter Baumgartner, et al. ∙