Searching for "Automated Refinement of First-Order Horn-Clause Domain Theories." – sorted by Relevance.
-
Automated Refinement of First-Order Horn-Clause Domain Theories
- ), which refines first-order Horn-clause theories by integrating a variety of different revision techniques
- Cited by 61 (6 self) – Add To MetaCart

