The Common Order-Theoretic Structure of Version Spaces and ATMS's.

Carl A. Gunter Teow-Hin Ngair Prakash Panangaden Devika Subramanian

Published in: AAAI (1991)

Keyphrases

version spaces
knowledge acquisition
logic programming