ECAI Conference 2000 Conference Paper
Constructing Teleo-reactive Robot Programs
- Krysia Broda
- Christopher J. Hogger
- Sam Watson
Author name cluster
Christopher J. Hogger
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
4 papers
1 author row
Possible papers
4LOPSTR Conference 1994 Conference Paper
Transforming Specifications of Observable Behaviour into Programs
- David R. Gilbert
- Christopher J. Hogger
- Jirí Zlatuska
Abstract A methodology for deriving programs from specifications of observable behaviour is described. The class of processes to which this methodology is applicable includes those whose state changes are fully definable by labelled transition systems, for example communicating processes without internal state changes. A logic program representation of such labelled transition systems is proposed, interpreters based on path searching techniques are defined, and the use of partial evaluation techniques to derive the executable programs is described.
MFCS Conference 1978 Conference Paper
Goal-Oriented Derivation of Logic Programs
- Christopher J. Hogger