9 citations · 10 across the 5 of their papers we have counts for
Showing 2000 · cs.AIShow all
2 papers · 2 filters
cs.AI2000
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
Uwe Egly, Thomas Eiter, Hans Tompits +1
In this paper, we outline the prototype of an automated inference tool, called QUIP, which provides a uniform implementation for several nonmonotonic reasoning formalisms. The theo…
cs.AI2000
DLV - A System for Declarative Problem Solving
Thomas Eiter, Wolfgang Faber, Christoph Koch +2
DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database sys…