Incremental Data-Driven Refinement of Knowledge

First Page		Document Content
Date: 2006-01-11 05:53:22 Logic Automated theorem proving Mathematical logic Resolution FO Cover Backtracking Mathematics Theoretical computer science Search algorithms		Incremental Data-Driven Refinement of Knowledge Add to Reading List Source URL: aaai.org Download Document from Source Website File Size: 570,19 KB Share Document on Facebook