Jakob Rath | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Laura Kovács
31 publications
Carmine Dodaro
26 publications
Mario Alviano
26 publications
Markus Hecher
22 publications
Johannes K. Fichte
16 publications
Bernhard Gleiss
6 publications
Tobias Philipp
2 publications

research

∙ 01/28/2020

Subsumption Demodulation in First-Order Theorem Proving

Motivated by applications of first-order theorem proving to software ana...

0 Bernhard Gleiss, et al. ∙

research

∙ 07/24/2019

Inconsistency Proofs for ASP: The ASP-DRUPE Format

Answer Set Programming (ASP) solvers are highly-tuned and complex proced...

0 Mario Alviano, et al. ∙

Success!

An error occurred