Gerald Pfeifer | DeepAI

DeepAI

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

Featured Co-authors

Thomas Eiter
32 publications
Georg Gottlob
26 publications
Wolfgang Faber
19 publications
Nicola Leone
17 publications
Simona Perri
10 publications
Christoph Koch
7 publications
Francesco Scarcello
6 publications

research

∙ 11/04/2002

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state...

0 Nicola Leone, et al. ∙

research

∙ 03/08/2000

DLV - A System for Declarative Problem Solving

DLV is an efficient logic programming and non-monotonic reasoning (LPNMR...

0 Thomas Eiter, et al. ∙