Experimenting with Nonmonotonic Reasoning (1995)
Cached
Download Links
- [ftp.cs.engr.uky.edu]
- [al.cs.engr.uky.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | IN PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING |
| Citations: | 31 - 6 self |
BibTeX
@INPROCEEDINGS{Cholewinski95experimentingwith,
author = {Paweł Cholewinski and V. Wiktor Marek and Artur Mikitiuk and Mirosław Truszczynski},
title = {Experimenting with Nonmonotonic Reasoning},
booktitle = {IN PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING},
year = {1995},
pages = {267--281},
publisher = {MIT Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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 identification system for generated theories, which allows us to reconstruct a logic program or a default theory from its identifier. Hence, exchanging test cases requires only exchanging identifiers. TheoryBase can generate a large variety of examples of default theories and logic programs. We believe that its universal adoption may significantly advance experimental studies of nonmonotonic reasoning systems.
