QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

Details QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

2000-03-08

arxiv.org/abs/cs/0003037v1

Computer Science

Artificial Intelligence

Scientific paper

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 theoretical basis of QUIP is derived from well-known results about the computational complexity of nonmonotonic logics and exploits a representation of the different reasoning tasks in terms of quantified boolean formulae.

Affiliated with

Also associated with

No associations

Rating

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-144033