Skip navigation
Skip navigation

The language of search

Huang, Jinbo; Darwiche, Adnan


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

CollectionsANU Research Publications
Date published: 2007
Type: Journal article
Source: Journal of Artificial Intelligence Research


File Description SizeFormat Image
01_Huang_The_language_of_search_2007.pdf258.5 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator