Constraint-based agents: The ABC’s of CBA’s

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1894, Issue , 2000, Pages 1-10

  Mackworth, Alan K ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DYNAMICAL SYSTEMS;

ACTIVE ENVIRONMENTS; COMPLEX AGENT; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVERS; CONSTRAINT-BASED AGENTS; DEVELOPMENT AND APPLICATIONS; DYNAMIC ENVIRONMENTS; TEMPORAL CONSTRAINTS;

PROGRAM DEBUGGING;

EID: 35048901835     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45349-0_1     Document Type: Conference Paper

References (20)

1. R. A. Barman, S. J. Kingdon, J. J. Little, A. K. Mackworth, D. K. Pai, M. Sahota, H. Wilkinson, and Y. Zhang. Dynamo: Real-time experiments with multiple mobile robots. In Intelligent Vehicles Symposium, pages 261-266, Tokyo, July 1993.
2. R. A. Brooks. Intelligence without reason. In IJCAI-91, pages 569-595, Sydney, Australia, Aug. 1991.
3. J. Lavignon and Y. Shoham. Temporal automata. Technical Report STAN-CS-90-1325, Stanford University, Stanford, CA, 1990.
4. A. K. Mackworth. On seeing robots. In A. Basu and X. Li, editors, Computer Vision: Systems, Theory, and Applications, pages 1-13. World Scientific Press, Singapore, 1993.
5. A. K. Mackworth. Quick and clean: Constraint-based vision for situated robots. In IEEE Int’l. Conf. on Image Processing, pages 789-792, Lausanne, Switzerland, Sept. 1996.
6. A. K. Mackworth. Constraint-based design of embedded intelligent systems. Constraints, 2(1): 83-86, 1997.
7. A. K. Mackworth. The dynamics of intelligence: Constraint-satisfying hybrid systems for perceptual agents. In Hybrid Systems and AI: Modeling, Analysis and Control of Discrete and Continuous Systems, number SS-99-05 in AAAI, Spring Symposium Series, pages 210-214, Stanford, CA, Mar. 1999.
8. D. L. Poole, A. K. Mackworth, and R. G. Goebel. Computational Intelligence: A Logical Approach. Oxford University Press, New York, 1998.
9. S. J. Rosenschein and L. P. Kaelbling. The synthesis of machines with provable epistemic properties. In Joseph Halpern, editor, Proc. Conf. on Theoretical Aspects of Reasoning about Knowledge, pages 83-98. Morgan Kaufmann, Los Altos, CA, 1986.
10. M. Sahota and A. K. Mackworth. Can situated robots play soccer? In Proc. Artificial Intelligence 94, pages 249-254, Banff, Alberta, May 1994.
11. Y. Zhang and A. K. Mackworth. Modeling behavioral dynamics in discrete robotic systems with logical concurrent objects. In S. G. Tzafestas and J. C. Gentina, editors, Robotics and Flexible Manufacturing Systems, pages 187-196. Elsevier Science Publishers B. V., 1992.
12. Y. Zhang and A. K. Mackworth. Specification and verification of constraint-based dynamic systems. In A. Borning, editor, Principles and Practice of Constraint Programming, number 874 in Lecture Notes in Computer Science, pages 229-242. Springer-Verlag, 1994.
13. Y. Zhang and A. K. Mackworth. Will the robot do the right thing? In Proc. Artificial Intelligence 94, pages 255-262, Ban, Alberta, May 1994.
14. Y. Zhang and A. K. Mackworth. Constraint Nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science, 138: 211-239, 1995.
15. Y. Zhang and A. K. Mackworth. Constraint programming in Constraint Nets. In V. Saraswat and P. Van Hentenryck, editor, Principles and Practice of Constraint Programming, chapter 3, pages 49-68. The MIT Press, Cambridge, MA, 1995.
16. Y. Zhang and A. K. Mackworth. Synthesis of hybrid constraint-based controllers. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems II, Lecture Notes in Computer Science 999, pages 552-567. Springer Verlag, 1995.
17. Y. Zhang and A. K. Mackworth. A constraint-based controller for soccer-playing robots. In Proceedings of IROS '98, pages 1290-1295, Victoria, BC, Canada, Oct. 1998.
18. Y. Zhang and A. K. Mackworth. Using reactive deliberation for real-time control of soccer-playing robots. In H. Kitano, editor, RoboCup-97: Robot Soccer World Cup 1, pages 508-512. Springer-Verlag, Aug. 1998.
19. Y. Zhang and A. K. Mackworth. Modelling and analysis of hybrid systems: An elevator case study. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pages 370-396. Springer, Berlin, 1999.
20. Y. Zhang and A. K. Mackworth. A multi-level constraint-based controller for the Dynamo98 robot soccer team. In Minoru Asada and Hiroaki Kitano, editor, RoboCup-98: Robot Soccer World Cup II, pages 402-409. Springer, 1999.