---
title: "Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus"
authors:
  - "Alfredo Gabaldon"
doi: ""
url: "https://ijcai.org/proceedings/2003/151"
pdf: "https://ijcai.org/proceedings/2003/0151.pdf"
venue: "Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"
year: 2003
pages: "1061-1065"
track: ""
keywords:
---

# Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus

Alfredo Gabaldon

*Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence*, pages 1061-1065.

## 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.