Bibliography

1

`A Case for Goal-oriented Programming Semantics' in System Support for Ubiquitous Computing Workshop at the Fifth Annual Conference on Ubiquitous Computing (UbiComp '03). Umar Saif, Hubert Pham, Justin Mazzola Paluska, Jason Waterman, Chris Terman, Steve Ward. http://o2s.csail.mit.edu/goals.html

2

S. Kambhampati. `A comparative analysis of partial-order planning and task reduction planning.' ACM SIGART Bulletin, Special Section on Evaluating Plans, Planners and Planning agents, Vol. 6., No. 1, January, 1995. citeseer.nj.nec.com/kambhampati95comparative.html

3

`Service Composition for eHome Systems: A Rule-based Approach' M Kirchhof, P Stinauer: Aachen eHome Group. www-i3.informatik.rwth-aachen.de/tikiwiki/tiki-index.php?page_ref_id=206

4

Universal Plug and Play. www.upnp.org

5

Greaves et al. `The AutoHAN project. www.cl.cam.ac.uk/Research/SRG/netos/han/AutoHAN

6

Uwe Glasser. `Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools', citeseer.nj.nec.com/258.html

7

CVC Lite http://verify.stanford.edu/CVCL/

8

M. Presburger: `Ober die Vollstndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt'. In Comptes Rendus du I congrs de Math maticiens des Pays Slaves, Warszawa, 1929, pp.92-101.

9

Bierman and Sewell. `Iota: A concurrent XML scripting language' Technical Report Number 557 Computer Laboratory. ISSN 1476-2986 Iota: !A concurrent XML scripting language with applications to Home Area' www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-557.pdf

10

`Towards Ubiquitous End-User Programming' Rob Hague, P Robinson, A Blackwell. ACM Conference on Ubiquitous Computing, Seattle, October 2003. www.cl.cam.ac.uk/ pr/publications/ubicomp03

11

Lupu E, Sloman M `Conflict Analysis for Management Policies' In 5th Int Symp Integrated Network Management IM'97 San-Diego 97 (Chapman Hall).

12

J Bacon et al. `Cambridge Event Architecture(CEA)' www.cl.cam.ac.uk/Research/SRG/opera/projects

13

Monika Solanki et al. `Introducing Compositionality in Webservice Descriptions'. Proceedings of 3rd ANWIRE workshop on adaptable services, DAIS-FMOODS, November 2003, Paris.

14

Trolltech, Creators of QT. www.trolltech.com.

15

`Paramodulation and theorem-proving in first-order theories with equality.' G. Robinson and L. Wos. In D. Michie and R. Meltzer, editors, Machine Intelligence, Vol. IV, pages 135-150. Edinburg U. Press, 1969.

16

W3C: Simple Object Access Protocol (SOAP) www.w3.org/TR/SOAP

Many thanks to Daniel Gordon who implemented much of the first Pushlogic system and who contributed greatly to its definition.