Defining answer classes using resolution refutation
Saved in:
| Title: | Defining answer classes using resolution refutation |
|---|---|
| Authors: | Burhans, Debra T.1, burhansd@canisius.edu, Shapiro, Stuart C.2, shapiro@cse.buffalo.edu |
| Source: | Journal of Applied Logic; Mar2007, Vol. 5 Issue 1, p70-91, 22p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15708683 |
|---|---|
| DOI: | 10.1016/j.jal.2005.12.004 |
