{"type":"ScholarlyArticle","title":"Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus","authors":[{"name":"Alfredo Gabaldon","slug":"alfredo-gabaldon","given":"Alfredo","family":"Gabaldon","affiliation":""}],"abstract":"A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling search control knowledge, expressed declaratively in a logic, into the preconditions of the plan actions (operators). We do this within the framework of the situation calculus by introducing a transformation of nonMarkovian action theories into classical Markovian situation calculus theories.","doi":null,"url":"https://ijcai.org/proceedings/2003/151","pdf":"https://ijcai.org/proceedings/2003/0151.pdf","markdown":"https://ijcai.org/proceedings/2003/151.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/151","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":151,"pages":{"first":1061,"last":1065},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}