Sciweavers

ICLP
1995
Springer

Experimenting with Nonmonotonic Reasoning

13 years 7 months ago
Experimenting with Nonmonotonic Reasoning
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identi cation system for generated theories, which allows us to reconstruct a logic program or a default theory from its identi er. Hence, exchanging test cases requires only exchanging identi ers. TheoryBase can generate a large variety of examples of default theories and logic programs. We believe that its universal adoption may signi cantly advance experimental studies of nonmonotonic reasoning systems.
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk
Added 26 Aug 2010
Updated 26 Aug 2010
Type Conference
Year 1995
Where ICLP
Authors Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski
Comments (0)