Isabelle Kuhlmann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Timotheus Kampik
17 publications
Raphael Memmesheimer
15 publications
Matthias Thimm
14 publications
Dietrich Paulus
14 publications
Mariela Morveli-Espinoza
8 publications
Antonio Yuste-Ginel
4 publications
Luke Thorburn
3 publications
Federico Castagna
3 publications
Andreas Xydis
3 publications
Christian Korbach
2 publications
Lars Malmqvist
2 publications

research

∙ 04/28/2023

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

We present algorithms based on satisfiability problem (SAT) solving, as ...

0 Isabelle Kuhlmann, et al. ∙

research

∙ 06/16/2021

Online Handbook of Argumentation for AI: Volume 2

This volume contains revised versions of the papers selected for the sec...

0 OHAAI Collaboration, et al. ∙

research

∙ 05/14/2019

Scratchy: A Lightweight Modular Autonomous Robot for Robotic Competitions

We present Scratchy---a modular, lightweight robot built for low budget ...

0 Raphael Memmesheimer, et al. ∙