Maximilian Marx | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Tom Hanika
32 publications
Gerd Stumme
29 publications
Christof Fetzer
24 publications
Markus Krötzsch
15 publications
Christoph Weidenbach
10 publications
Stefan Ellmauthaler
7 publications
Martin Bromberger
6 publications
Rasha Faqeh
5 publications
Larry González
2 publications
Irina Dragoste
2 publications
Alex Ivliev
2 publications

research

∙ 08/30/2023

Nemo: First Glimpse of a New Rule Engine

This system demonstration presents Nemo, a new logic programming engine ...

0 Alex Ivliev, et al. ∙

research

∙ 01/24/2022

A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic

In a previous paper, we have shown that clause sets belonging to the Hor...

0 Martin Bromberger, et al. ∙

research

∙ 02/03/2019

Discovering Implicational Knowledge in Wikidata

Knowledge graphs have recently become the state-of-the-art tool for repr...

0 Tom Hanika, et al. ∙