{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T02:34:28Z","timestamp":1752460468751,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410539"},{"type":"electronic","value":"9783540453499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45349-0_1","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T00:54:55Z","timestamp":1181177695000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Constraint-Based Agents: The ABC\u2019s of CBA\u2019s"],"prefix":"10.1007","author":[{"given":"Alan K.","family":"Mackworth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"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\u2013266, Tokyo, July 1993.","DOI":"10.1109\/IVS.1993.697333"},{"key":"1_CR2","unstructured":"R. A. Brooks. Intelligence without reason. In IJCAI-91, pages 569\u2013595, Sydney, Australia, Aug. 1991."},{"key":"1_CR3","volume-title":"Technical Report STAN-CS-90-1325","author":"J. Lavignon","year":"1990","unstructured":"J. Lavignon and Y. Shoham. Temporal automata. Technical Report STAN-CS-90-1325, Stanford University, Stanford, CA, 1990."},{"key":"1_CR4","first-page":"1","volume-title":"Computer Vision: Systems, Theory, and Applications","author":"A. K. Mackworth","year":"1993","unstructured":"A. K. Mackworth. On seeing robots. In A. Basu and X. Li, editors, Computer Vision: Systems, Theory, and Applications, pages 1\u201313. World Scientific Press, Singapore, 1993."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"A. K. Mackworth. Quick and clean: Constraint-based vision for situated robots. In IEEE Int\u2019l. Conf. on Image Processing, pages 789\u2013792, Lausanne, Switzerland, Sept. 1996.","DOI":"10.1109\/ICIP.1996.561023"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1009705224515","volume":"2","author":"A. K. Mackworth","year":"1997","unstructured":"A. K. Mackworth. Constraint-based design of embedded intelligent systems. Constraints, 2(1):83\u201386, 1997.","journal-title":"Constraints"},{"key":"1_CR7","unstructured":"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\u2013214, Stanford, CA, Mar. 1999."},{"key":"1_CR8","volume-title":"Computational Intelligence: A Logical Approach","author":"D. L. Poole","year":"1998","unstructured":"D. L. Poole, A. K. Mackworth, and R. G. Goebel. Computational Intelligence: A Logical Approach. Oxford University Press, New York, 1998."},{"key":"1_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/B978-0-934613-04-0.50009-0","volume-title":"Proc. Conf. on Theoretical Aspects of Reasoning about Knowledge","author":"S. J. Rosenschein","year":"1986","unstructured":"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\u201398. Morgan Kaufmann, Los Altos, CA, 1986."},{"key":"1_CR10","unstructured":"M. Sahota and A. K. Mackworth. Can situated robots play soccer? In Proc. Artificial Intelligence 94, pages 249\u2013254, Banff, Alberta, May 1994."},{"key":"1_CR11","unstructured":"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\u2013196. Elsevier Science Publishers B. V., 1992."},{"key":"1_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-58601-6_104","volume-title":"Principles and Practice of Constraint Programming","author":"Y. Zhang","year":"1994","unstructured":"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\u2013242. Springer-Verlag, 1994."},{"key":"1_CR13","unstructured":"Y. Zhang and A. K. Mackworth. Will the robot do the right thing? In Proc. Artificial Intelligence 94, pages 255\u2013262, Banff, Alberta, May 1994."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0304-3975(94)00149-D","volume":"138","author":"Y. Zhang","year":"1995","unstructured":"Y. Zhang and A. K. Mackworth. Constraint Nets: A semantic model for hybrid dynamic systems. Theoretical Computer Science, 138:211\u2013239, 1995.","journal-title":"Theoretical Computer Science"},{"key":"1_CR15","first-page":"49","volume-title":"Principles and Practice of Constraint Programming","author":"Y. Zhang","year":"1995","unstructured":"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\u201368. The MIT Press, Cambridge, MA, 1995."},{"key":"1_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1007\/3-540-60472-3_28","volume-title":"Hybrid Systems II","author":"Y. Zhang","year":"1995","unstructured":"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\u2013567. Springer Verlag, 1995."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Y. Zhang and A. K. Mackworth. A constraint-based controller for soccer-playing robots. In Proceedings of IROS\u2019 98, pages 1290\u20131295, Victoria, BC, Canada, Oct. 1998.","DOI":"10.1109\/IROS.1998.727477"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"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\u2013512. Springer-Verlag, Aug. 1998.","DOI":"10.1007\/3-540-64473-3_89"},{"key":"1_CR19","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1007\/978-3-642-60211-5_23","volume-title":"Logical Foundations for Cognitive Agents","author":"Y. Zhang","year":"1999","unstructured":"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\u2013396. Springer, Berlin, 1999."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"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\u2013409. Springer, 1999.","DOI":"10.1007\/3-540-48422-1_37"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45349-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T01:14:20Z","timestamp":1737076460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45349-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410539","9783540453499"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45349-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}