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…