Combining Explanation-based Learning and Knuth-Bendix Completion for Equational Reasoning

CP Willis, DJ Paddon

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionCombining Explanation-based Learning and Knuth-Bendix Completion for Equational Reasoning
Original languageEnglish
Title of host publicationUnknown
Pages211 - 215
Number of pages4
Publication statusPublished - 1991

Bibliographical note

Conference Proceedings/Title of Journal: Artificial Intelligence International Research Symposium

Cite this