The language of search
This paper is concerned with a class of algorithms that perform exhaustive search on propositional knowledge bases. We show that each of these algorithms defines and generates a propositional language. Specifically, we show that the trace of a search can
|Collections||ANU Research Publications|
|Source:||Journal of Artificial Intelligence Research|
|01_Huang_The_language_of_search_2007.pdf||258.5 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.