Anthony, S. and Frisch, A. 1997. Generating numerical literals during refinement. In N. Lavrac and S. Dzeroski,
editors, Inductive Logic Programming: Proceedings of the 7th International Workshop, ILP-97, pp. 61–76.
Vol. 1297 of LNAI.
Apt, K. and Bol, R. 1994. Logic programming and negation: A survey. Journal of Logic Programming, 19(20),
Argamon-Engelson, S. and Koppel, M. 1998. Tracability of theory patching. Journal of Artificial Intelligence
Research, 8, 39–65.
Bergadano, F. and Gunetti, D. 1996. Inductive Logic Programming, From Machine Learning to Software Engineering.
Cambridge, Massachusetts, US: MIT Press.
Bryant, C.H. 1997. The implementation of theory revision in the CPS validation environment. Technical Report
impress/2/02/1, School of Computing and Mathematics, University of Huddersfield, UK.
Carbonara, L. and Sleeman, D. 1996. Improving the efficiency of knowledge base refinement. In L. Saitta, editor,
Proceedings of the Thirteenth International Conference on Machine Learning (ICML ’96). Bari, Italy, July 3–6,
1996. pp. 78–86.
Clark, K.L. 1978. Negation as failure. In Logic and Data Bases. Plenum Press, pp. 293–322.
Craw, S. 1996. Refinement complements verification and validation. Int. J. Human-Computer Studies, 44(2),
Dondossola, G. 1998. Formal methods in the development of safety critical knowledge-based components. In
F. van Harmelen, editor, Proceedings of the KR’98 European Workshop on Validation and Verification of
Knowledge-Based Systems (CEUR Workshop Proceedings, Vol. 16).
Dubois, E. 1998. ALBERT: A formal language and its supporting tools for requirements engineering. In Lecture
Notes in Computer Science No. 1382. pp. 322–325.
Easterbrook, S. and Callahan, J. 1996. Independent validation of specifications: A coordination headache. In
Proceedings of the Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
(WETICE’96). pp. 232–237.
Greiner, R. 1999. The complexity of revising logic programs. Journal of Logic Programming, 40(3), 273–298.
Lloyd, J.W. 1987. Foundations of Logic Programming. Berlin: Springer-Verlag, 2nd, extended edition.
McCluskey, T.L. 1997. An integrated validation environment for the conflict prediction specification. Technical
Report impress/2/03/1, School of Computing and Mathematics, University of Huddersfield, UK.
McCluskey, T.L., Porteous, J.M., Naik, Y., Taylor, C., and Jones, S. 1995. A requirements capture method and its
use in an air traffic control application. Software-Practice and Experience, 25(1), 47–71.
McCluskey, T.L., Porteous, J.M., West, M.M., and Bryant, C.H. 1996. The validation of formal specifications of
requirements. In Proceedings of the BCS-FACS Northern Formal Methods Workshop. Ilkley, UK.
McCluskey, T.L. and West, M.M. 1998. Towards the automated debugging and maintenance of logic-based requirements
models. In ASE ’98: Proceedings of the 13th IEEE International Conference on Automated Software
Engineering. pp. 105–114.
Muggleton, S. and De Raedt, L. 1994. Inductive logic programming: Theory and methods. Journal of Logic
Programming 19(20), 629–679.
Opitz, D.W. and Shavlik, J.W. 1997. Connectionist theory refinement: Genetically searching the space of network
topologies. Journal of Artficial Intelligence Research, 6, 177–209.
Palmer, G.J. and Craw, S. 1996. The role of test cases in automated knowledge refinement. In ES96: The Sixteenth
Annual Technical Conference of the British Computer Society Specialist Group on Expert Systems. Cambridge,
England, pp. 75–90.
Richards, B.L. and Mooney, R.J. 1995. Automated refinement of first order horn-clause domain theories. Machine
Learning, 19(2), 95–131.
Sebag, M. and Rouveirol, C. 1996. Constraint inductive logic programming. In L. De Raedt, editor, Proceedings
of the 5th International Workshop on Inductive Logic Programming (published as Advances in Inductive Logic Programming, IOS Press). pp. 277–294.
Shapiro 1983. Algorithmic Program Debugging. Cambridge, MA: MIT Press.
Sommer, E., Morik, K., Andre, J.M., and Uszynski, M. 1994. What online machine learning can do for knowledge
acquisition—A case-study. Knowledge Acquisition, 6(4), 435–460.
Srinivasan, A. and Camacho, R. 1999. Numerical reasoning with an ILP system capable of lazy evaluation and
customized search. Journal of Logic Programming, 40(3), 185–213.
Vermesan, A. and Bench-Capon, T. 1995. Techniques for the verification and validation of knowledge-based systems:
A survey based on the symbol/knowledge level distinction. Software Testing, Verification and Reliability,
West, M.M., Bryant, C.H., and McCluskey, T.L. 1997. Transforming general program proofs: A meta interpreter
which expands negative literals. In Proceedings: LOPSTR ’97. Leuven, Belgium.
West, M.M. and McCluskey, T.L. 1998. Ordinal operators in focused theory revision. In Proceedings: JICSLP’98
Post Conference Workshop on Computational Logic and Machine Learning. Manchester, UK, pp. 56–62.
Wogulis, J. 1993a. Handling negation in first-order theory revision. In F. Bergadano, L. De Raedt, S. Matwin, and
S. Muggleton, editor, Proceedings of the IJCAI ’93 Workshop on Inductive Logic Programming. pp. 36–46.
Wogulis, J.L. 1993b. An approach to repairing and evaluating first-order theories containing multiple concepts
and negation. Ph.D. thesis, Department of Information and Computer Science, University of California, Irvine,
CA 92717, US.
Wrobel, S. 1996. First order theory revision. In L. De Raedt, editor, Proceedings of the 5th International Workshop
on Inductive Logic Programming (published as Advances in Inductive Logic Programming, IOS Press).