@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Alan K. Mackworth's publication pages at
@COMMENT http://www.cs.ubc.ca/~mack/publications
@InProceedings{ICPPCS00,
author = {Alan K. Mackworth},
title = {Constraint-Based Agents: The ABC's of CBA's},
year = {2000},
month = {September},
booktitle = {Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming, CP 2000},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1894},
address = {Singapore},
pages = {1--10},
note = {(invited)},
abstract = {The Constraint-Based Agent (CBA) framework is a set of
tools for designing, simulating, building, verifying, optimizing, learning
and debugging controllers for agents embedded in an active environment.
The agent and the environment are modelled symmetrically as, possibly
hybrid, dynamical systems in Constraint Nets, as developed by Zhang
and Mackworth. This paper is a tutorial overview of the development
and application of the CBA framework, emphasizing the important special
case where the agent is an online constraint-satisfying device. Here
it is often possible to verify complex agents as obeying real-time temporal
constraint specifications and, sometimes, to synthesize controllers
automatically. The CBA framework demonstrates the power of viewing
constraint programming as the creation of online constraint-solvers in
dynamic environments.},
bib2html_pubtype ={Refereed Conference Proceeding},
bib2html_rescat ={},
}