Publications
  Home | Biography | Research | Publications | Students | Teaching | Related links | Contact

Sorted by DateClassified by Publication TypeSorted by First Author Last NameClassified by Author Last Name

Classified by Author Last Name

Mackworth, AlanDionne, M. S.Starr, D. W.Havens, W. S.Freuder, E.Woodham, R. J.Catanzariti, E.Mulder, J. A.Mokhtarian, F.Reiter, R.Kleer, J. deZhang, Y.Hentenryck, P. VanRogic, S.Quellette, B. F. F.Shah, S. P.McVicker, G. P.St-Aubin, R.Friedman, J.Amershi, S.Carenini, G.Conati, C.Poole, D.Breu, H.Mulligan, I. J.Lawrence, P. D.Barman, A. R.Kingdon, S.Little, J.Pai, D. K.Sahota, M.Wilkinson, H.Lowe, D. G.Barman, R.Tucakov, V.Murray, D.Jennings, C.Ouellette, F.Song, F.Montgomery, J. D.Muyan-Ozcelik, P.Arksey, N.Maclaren, H.Chang, L.Montpetit, B.Hoos, H.Hieter, P.Viswanathan, P.Boger, J.Hoey, J.Elinas, P.Mihailidis, A.Yang, S.Rosenberg, R. S.Goebel, R. G.Dechter, R.Dincbas, M.Jaffar, J.Pearl, J.Zweben, M.Fox, M.Mittal, M.Borning, A.Haralick, R. M.Tanimoto, S. L.Pylyshyn, Z. W.Ouellette, B. F. F.Knoll, B.Kisynski, J.Meger, D.Southey, T.Helmer, S.McCann, S.Muja, M.Dockrey, M.Joya, M.Fazli, PooyanDavoodi, AlirezaPasquier, PhilippeJ. Little, J.Silva, Bruno daFernquist, J.Booth, K. S.Kellett, R.Girling, C.Leyton-Brown, K.Crowley, M.Zawadski, E.Thompson, D.


Mackworth, Alan

  • G. Carenini, D. Poole, K. Leyton-Brown, M. Crowley, E. Zawadski, D. Thompson, and Alan K. Mackworth. Assignment on CSPs for First Undergraduate AI course. In First AAAI 2010 Symposium on Educational Advances in Artificial Intelligence, EAAI-10, Atlanta, GA, July 2010.
    Details     BibTeX     Download: (unavailable)
  • Pooyan Fazli, Alireza Davoodi, Philippe Pasquier, and Alan K. Mackworth. Fault-Tolerant Multi-Robot Area Coverage with Limited Visibility. In Proceedings of the ICRA 2010 Workshop on Search and Pursuit/Evasion in the Physical World: Efficiency, Scalability, and Guarantees, Anchorage, Alaska, USA, May 2010. (6 pages)
    Details     BibTeX     Download: (unavailable)
  • Pooyan Fazli, Alireza Davoodi, Philippe Pasquier, and Alan K. Mackworth. Multi-Robot Area Coverage with Limited Visibility. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010, pp. 1501–1502, Toronto, Canada, May 2010.
    Details     BibTeX     Download: [pdf] (136.8kB )  
  • Pooyan Fazli, Alireza Davoodi, Philippe Pasquier, and Alan K. Mackworth. Complete and Robust Cooperative Robot Area Coverage with Limited Range. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010), Taipei, Taiwan, October 2010.
    Details     BibTeX     Download: [pdf] (682.8kB )  
  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using a Multi-touch Tabletop to Create and Compare Sustainable Neighbourhood Patterns. In 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, CPAIOR, , June 2010.
    Details     BibTeX     Download: (unavailable)
  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using Multi-touch Tabletops to Create and Compare Neighbourhood Designs that Satisfy Constraints. In 2nd International Conference on Computational Sustainability, Cambridge, MA, June 2010. (Poster)
    Details     BibTeX     Download: [pdf] (1.5MB )  
  • Alan K. Mackworth. Architectures and Ethics for Robots: Constraint Satisfaction as a Unitary Design Framework. In Anderson, M. and Anderson, S.(eds.), Machine Ethics, ():35, 2010. (In Press)
    Details     BibTeX     Download: (unavailable)
  • D. L. Poole and Alan K. Mackworth. Artificial Intelligence: Foundations of Computational Agents, Cambridge University Press, New York, 2010. Also full text online at http://artint.info
    Details     BibTeX     Download: (unavailable)
  • Bruno da Silva and Alan K. Mackworth. Using Spatial Hints to Improve Policy Reuse in a Reinforcement Learning Agent. In Proceedings of the 9th International Conference on Autonomous Agents and MultiagentSystems, AAMAS 2010, pp. 317–324, Toronto, Canada, May 2010.
    Details     BibTeX     Download: [pdf] (316.9kB )  
  • P. Viswanathan, T. Southey, J. J. Little, and Alan K. Mackworth. Automated Place Classification Using Object Detection. In Proc. of Computer and Robot Vision, CRV 2010, pp. 324–390, Ottawa, Canada, June 2010.
    Details     BibTeX     Download: [pdf] (710.7kB )  
  • P. Viswanathan and Alan K. Mackworth. The Future of Powered Mobility: Intelligent Wheelchairs. In Proc. of the Symposium on Wheelchair Mobility in Older Adults: Are We Ready to Roll?, International Society for Gerontology(ISG) 7th World Conference: Technologies for Health, Quality of Life and Aging-in-place, Vancouver, Canada, May 2010. (Abstract)
    Details     BibTeX     Download: (unavailable)
  • P. Viswanathan, T. Southey, J. J. Little, and Alan K. Mackworth. Automated Place Classification Using Object Detection. In Proc. of Computer and Robot Vision, CRV 2010, pp. 324–390, Ottawa, Canada, June 2010.
    Details     BibTeX     Download: [pdf] (710.7kB )  
  • Alireza Davoodi, Pooyan Fazli, Philippe Pasquier, and Alan K. Mackworth. On Multi-Robot Area Coverage. In Proceedings of The 7th Japan Conference on Computational Geometry and Graphs, JCCGG09, pp. 75–76, Kanazawa, Japan, November 2009.
    Details     BibTeX     Download: [pdf] (95.7kB )  
  • Pooyan Fazli and Alan K. Mackworth. Human-Robot Teams in Entertainment and Other Everyday Scenarios. In Proceedings of the International Conference on Advances in Computer EntertainmentTechnology (Salon de ACE), ACE 2009, Athens, Greece, October 2009.
    Details     BibTeX     Download: [pdf] (48.3kB )  
  • S. Helmer, D. Meger, P. Viswanathan, S. McCann, M. Dockrey, Pooyan Fazli, T. Southey, M. Muja, M. Joya, J. Little, D. G. Lowe, and Alan K. Mackworth. Semantic Robot Vision Challenge: Current State and Future Directions. In IJCAI09 Workshop on Competitions in Artificial Intelligence and Robotics, 2009.
    Details     BibTeX     Download: [pdf] (96.6kB )  
  • Alan K. Mackworth. Agents, Bodies, Constraints, Dynamics, and Evolution. AI Magazine, 26(30):7–28, Spring 2009.
    Details     BibTeX     Download: [pdf] (698.1kB )  
  • Alan K. Mackworth. Living with Constraints. In 22nd Canadian Conference on Artificial Intelligence, Canadian AI 2009, LNCS 5549, Springer, pp. 2, Kelowna, Canada, 2009. (Invited)
    Details     BibTeX     Download: (unavailable)
  • P. Viswanathan, D. Meger, T. Southey, J. J. Little, and Alan K. Mackworth. Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search. In Proc. of Canadian Robot Vision, 2009.
    Details     BibTeX     Download: [pdf] (784.2kB )  
  • P. Viswanathan, D. Meger, T. Southey, S. Helmer, S. McCann, M. Muja, M Dockrey, M. Joya, D. G. Lowe, J. J. Little, and Alan K. Mackworth. Combining Automated Visual Search and Place Categorization. In CVPR Workshop on Visual Place Categorization, 2009. Invited Paper
    Details     BibTeX     Download: (unavailable)
  • L. Chang and Alan K. Mackworth. Knowledge Reuse for Open Constraint-Based Inference. In Workshop on Knowledge Capture and Constraint Programming, KCCP-07, Whistler, BC, January 2008.
    Details     BibTeX     Download: [pdf] (143.4kB )  
  • B. Knoll, J. Kisynski, G. Carenini, C. Conati, Alan K. Mackworth, and D. L. Poole. AIspace: Interactive Tools for Learning Articial Intelligence. In Proc. AAAI AI Education Colloquium, Chicago, IL, July 2008.
    Details     BibTeX     Download: [pdf] (189.6kB )  
  • S. Rogic, B. Montpetit, H. Hoos, Alan K. Mackworth, B. F. F. Ouellette, and P. Hieter. Correlation Between the Secondary Structure of pre-mRNA Introns and the Efficiency of Splicing in Saccharomyces Cerevisiae. BMC Genomics, 9(355), 2008.
    Details     BibTeX     Download: [pdf] (535.2kB )  
  • P. Viswanathan, Alan K. Mackworth, J. J. Little, and A. Mihailidis. NOAH for wheelchair users with cognitive impairment: Navigation and Obstacle Avoidance Help. In Proceedings of AAAI Fall Symposium on AI on Eldercare: New Solutions to Old Problems, 2008.
    Details     BibTeX     Download: [pdf] (434.8kB )  
  • S. Amershi, G. Carenini, C. Conati, Alan K. Mackworth, and D. L. Poole. Pedagogy and Usability in Interactive Algorithm Visualizations: Designing and Evaluating CISpace. Interacting with Computers, 2007. (To appear 2007), (27 pp.)
    Details     BibTeX     Download: [pdf] (1.3MB )  
  • Alan K. Mackworth. You, Robot, Do No Harm!. In Proc. Robotics for Society: New Directions in Cognitive Science Conf, Vancouver, BC, February 2007. (Invited Talk and Abstract)
    Details     BibTeX     Download: (unavailable)
  • P. Viswanathan, J. Boger, J. Hoey, P. Elinas, J. J. Little, Alan K. Mackworth, and A. Mihailidis. An Intelligent Powered Wheelchair to Enable Mobility in Older Adults with Cognitive Impairments. In Proc. Robotics for Society: New Directions in Cognitive Science Conf, Vancouver, BC, February 2007. (Poster and Extended Abstract)
    Details     BibTeX     Download: [pdf] (101.0kB )  
  • P. Viswanathan, Alan K. Mackworth, J. J. Little, and A. Mihailidis. Intelligent Wheelchairs: Collision Avoidance and Navigation Assistance for Older Adults with Cognitive Impairment. In Proc. Workshop on Intelligent Systems for Assisted Cognition, Rochester, NY, 2007. (Poster and White Paper)
    Details     BibTeX     Download: [pdf] (753.5kB )  
  • S. Yang and Alan K. Mackworth. Hierarchical Shortest Pathfinding Applied to Route-Planning for Wheelchair Users. In Proc. Canadian Conf. on Artificial Intelligence, AI-2007, Montreal, PQ, May 2007.
    Details     BibTeX     Download: [pdf] (311.6kB )  
  • S. Yang and Alan Mackworth. Route Planning and Scheduling for Wheelchair Users. In The Festival of International Conferences on Caregiving, Disability, Aging and Technology (FICCDAT): Growing Older with a Disability, Toronto, ON, June 2007.
    Details     BibTeX     Download: [pdf] (374.0kB )  
  • L. Chang and Alan K. Mackworth. Local Consistency in Junction Graphs for Constraint-Based Inference. In Proc. AAAI-06 National Conf. on AI, Boston, MA, July 2006. (Refereed Poster and Extended Abstract)
    Details     BibTeX     Download: [pdf] (54.9kB )  
  • L. Chang and Alan K. Mackworth. Constraint-Based Inference Using Local Consistency in Junction Graphs. In Proc. ECAI-06 Workshop on Inference Methods Based on Graphical Structures of Knowledge (WIGSK’06), pp. 1–6, Riva del Garda, Italy, August 2006.
    Details     BibTeX     Download: [pdf] (120.9kB )  
  • L. Chang and Alan K. Mackworth. Local Consistency in Junction Graphs for Constraint-Based Inference. Technical Report TR-2006-08, Dept. of Computer Science, University of British Columbia, 2006.
    Details     BibTeX     Download: (unavailable)
  • E. C. Freuder and Alan K. Mackworth. Constraint Satisfaction: An Emerging Paradigm. In F. Rossi, P. Van Beek and T. Walsh, editors, Handbook of Constraint Programming, pp. 13–28, Elsevier, 2006.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Can We Know The Robot Will Do The Right Thing?. In Proc. Workshop on Ethics of Human Interaction with Robotic, Bionic and AI Systems, Naples, Italy, October 2006. (Invited Talk and Extended Abstract)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. AI@50: We Are Golden!. AI Magazine, 27(4):17–18, Winter 2006.
    Details     BibTeX     Download: [pdf] (128.2kB )  
  • D. L. Poole and Alan K. Mackworth. Dimensions of complexity of intelligent agents. In Proc. 2006 International Symposium on Practical Cognitive Agents and Robots, pp. 81–92, ACM Press, New York, NY, November 2006.
    Details     BibTeX     Download: [pdf] (633.0kB )  
  • S. Rogic, B. Montpetit, H. H. Hoos, Alan K. Mackworth, B. F. F. Quellette, and P. Hieter. Splicing in Saccharomyces cerevisiae: A New Model for the Role of pre-mRNA Secondary Structure. In Proc. RNA 2006, Seattle, WA, June 2006. (Refereed Poster and Extended Abstract)
    Details     BibTeX     Download: (unavailable)
  • R. St-Aubin, J. Friedman, and Alan K. Mackworth. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. Annals of Mathematics and Artificial Intelligence, 37(3-4):397–425, 2006.
    Details     BibTeX     Download: [pdf] (517.1kB )  
  • R. St-Aubin, J. Friedman, and Alan K. Mackworth. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. In Proc. Ninth Int. Symp. on AI and Mathematics – AI-Math-06, Ft. Lauderdale, FL, January 2006.
    Details     BibTeX     Download: [pdf] (396.5kB )  
  • S. Amershi, N. Arksey, G. Carenini, C. Conati, Alan K. Mackworth, H. Maclaren, and D. Poole. Designing CIspace: Pedagogy and Usability in a Learning Environment for AI. In ITiCSE’05, 10th Annual Conference on Information and Technology in Computer Science Education, pp. 178–182, Monte de Caparica, Portugal, June 2005.
    Details     BibTeX     Download: [pdf] (667.7kB )  
  • S. Amershi, N. Arksey, G. Carenini, C. Conati, Alan K. Mackworth, H. Maclaren, and D. L. Poole. Fostering Student Learning and Motivation: An Interactive Educational Tool for AI. Technical Report TR-2005-06, Dept. of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (259.3kB )  
  • L. Chang and Alan K. Mackworth. A Generalization of Generalized Arc Consistency: From Constraint Satisfaction to Constraint-Based Inference. In Proc. IJCAI-05 Workshop on Modelling and Solving Problems with Constraints, pp. 68–75, Edinburgh, UK, July 2005.
    Details     BibTeX     Download: [pdf] (157.9kB )  
  • L. Chang and Alan K. Mackworth. Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference. In Proc. Principles and Practice of Constraint Programming – CP 2005, pp. 844, Springer-Verlag, Sitges, Spain, October 2005. (Poster and Extended Abstract)
    Details     BibTeX     Download: [pdf] (85.9kB )  
  • L. Chang and Alan K. Mackworth. Generalized Constraint-Based Inference. Technical Report TR-2005-10, Dept. of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (173.2kB )  
  • L. Chang and Alan Mackworth. A Generalization of Generalized Arc Consistency: From Constraint Satisfaction to Constraint-Based Inference. Technical Report TR-2005-14, Dept. of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (155.6kB )  
  • Alan K. Mackworth. The Coevolution of AI and AAAI. AI Magazine, 26(4):51–52, Winter 2005.
    Details     BibTeX     Download: [pdf] (122.2kB )  
  • Alan K. Mackworth. AAAI Is Now the Association for the Advancement of Artificial Intelligence. AI Magazine, 28(1):17–18, Spring 2005.
    Details     BibTeX     Download: [pdf] (33.8kB )  
  • R. St-Aubin and Alan K. Mackworth. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. Technical Report TR-2005-24, Dept. of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (297.1kB )  
  • P. Muyan-Ozcelik and Alan K. Mackworth. Situated Robot Design with Prioritized Constraints. In Proc. Int. Conf. on Intelligent Robots and Systems (IROS 2004), pp. 1807–1814, Sendai, Japan, September 2004.
    Details     BibTeX     Download: [pdf] (639.6kB )  
  • R. St-Aubin and Alan K. Mackworth. Modeling Uncertain Dynamical Systems and Solving Behavioural Constraints Using Probabilistic Constraint Nets. In 16th European Conference on AI: Workshop on Modeling and Solving Problems with Constraints (ECAI 2004), pp. 70–85, Valencia, Spain, April 2004.
    Details     BibTeX     Download: (unavailable)
  • R. St-Aubin and Alan K. Mackworth. Probabilistic Constraint Nets: Constraint-Based Approach to Modeling and Verification of Hybrid Systems with Uncertainty. Technical Report TR-2004-05, Dept. of Computer Science, University of British Columbia, 2004.
    Details     BibTeX     Download: [pdf] (553.1kB )  
  • Alan K. Mackworth and Ying Zhang. A Formal Approach to Agent Design: An Overview of Constraint-Based Agents. Constraints, 8(3):229–242, 2003.
    Details     BibTeX     Download: [pdf] (172.8kB )  [ps] (1.2MB )  
  • Alan K. Mackworth. Foreword to Constraint Processing by Rina Dechter. In Constraint Processing, , pp. v–vii, Morgan Kaufmann, 2003.
    Details     BibTeX     Download: (unavailable)
  • S. P. Shah, G. P. McVicker, Alan K. Mackworth, S. Rogic, and B. F. F. Quellette. GeneComber: Combining Outputs of Gene Prediction Programs for Improved Results. Bioinformatics, 19(10):1296–1297, 2003.
    Details     BibTeX     Download: [pdf] (35.6kB )  
  • Alan K. Mackworth. Recycling the Cycle of Perception: A Polemic. In Proc. AI 2002, Calgary, AB, May 2002. (abstract)
    Details     BibTeX     Download: [pdf] (43.6kB )  
  • J. D. Montgomery and Alan K. Mackworth. Adaptive Synchronisation for a RoboCup Agent. In Proc. Int. RoboCup 2002 Symposium, pp. 128–143, Fukuoka, Japan, June 2002.
    Details     BibTeX     Download: [pdf] (238.9kB )  
  • S. Rogic, B. F. F. Quellette, and Alan Mackworth. Improving Recognition Accuracy by Combining Predictions from Two Gene-Finding Programs. Bioinformatics, 18(8):1034–1045, 2002.
    Details     BibTeX     Download: [pdf] (428.8kB )  
  • F. Song and Alan K. Mackworth. CNJ: A Visual Programming Environment for Constraint Nets. In Proc. AI, Simulation and Planning in High Autonomy Systems (AIS 2002), pp. 131–135, Lisbon, Portugal, April 2002.
    Details     BibTeX     Download: [pdf] (227.7kB )  
  • Yu Zhang and Alan K. Mackworth. A Constraint-based Robotic Soccer Team. Constraints, 7:7–28, 2002.
    Details     BibTeX     Download: [pdf] (157.3kB )  
  • D. L. Poole and Alan K. Mackworth. CIspace: Tools for Learning Computational Intelligence. In Proc. Workshop on Effective Interactive AI Resources, Seattle, WA, August 2001.
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, Alan K. Mackworth, and B. F. F. Quellette. Evaluation of Gene-Finding Programs on Mammalian Sequences. Genome Research, 11:817–832, 2001.
    Details     BibTeX     Download: [pdf] (551.6kB )  
  • Alan K. Mackworth. Constraint-Based Agents: The ABC’s of CBA’s. In Proc. 6th Int. Conf. on Principles and Practice of Constraint Programming – CP2000, pp. 1–10, Springer, Singapore, September 2000. (invited)
    Details     BibTeX     Download: [pdf] (140.2kB )  
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Exploring Different Methods for Combining Gene-Finding Programs. In Proc. Can. Genetic Diseases Network Ann. Scientific Mtg. 2000, pp. 25, Vancouver, BC, April 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Exploring Different Methods for Combining Gene-Finding Programs. In Proc. Human Genome Mtg. 2000 (HUGO), pp. 61–62, Vancouver, BC, April 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Combining Gene-Finding Programs. In Proc. Genome-Based Structure Determination Symposium, EMBL-EBI, pp. 33–34, Cambridge, UK, June 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • Ying Zhang and Alan K. Mackworth. Formal Specification of Performance Metrics for Intelligent Systems. In Proc. Workshop on Performance Metrics for Intelligent Systems, pp. 33–34, National Institute of Standards and Technology, Washington, DC, August 2000.
    Details     BibTeX     Download: [pdf] (38.6kB )  
  • Alan K. Mackworth. The Dynamics of Intelligence: Constraint-Satisfying Hybrid Systems for Perceptual Agents. In Proc. Hybrid Systems and AI: Modeling, Analysis and Control of Discrete and Continuous Systems, AAAI Spring Symposium Series, pp. 210–214, Stanford, CA, USA, March 1999. (invited)
    Details     BibTeX     Download: [pdf] (5.2MB )  
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Combining Evidence from Different Gene-Structure Prediction Programs. In Proc. Conf. Bioinformatics – In Silico Biology, pp. 74, Atlanta, GA, November 1999. (abstract)
    Details     BibTeX     Download: (unavailable)
  • Yu Zhang and Alan K. Mackworth. A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team. In RoboCup-98: Robot Soccer World Cup II, pp. 402–409, Springer-Verlag, Albuquerque, NM, April 1999.
    Details     BibTeX     Download: [pdf] (154.9kB )  
  • Yu Zhang and Alan K. Mackworth. A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team. In M. Asada and H. Kitano, editors, RoboCup-98: Robot Soccer World Cup II, Lecture Notes in Computer Science, pp. 402–409, Springer-Verlag, 1999.
    Details     BibTeX     Download: [pdf] (154.9kB )  
  • Ying Zhang and Alan K. Mackworth. Modelling and Analysis of Hybrid Control Systems: An Elevator Case Study. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pp. 370–396, Springer-Verlag, Berlin, 1999.
    Details     BibTeX     Download: [pdf] (297.4kB )  
  • Alan K. Mackworth and Yu Zhang. The Dynamics of Intelligence: A Constraint-Based Architecture for Situated Visual Agents. In Proc. Second Int. Workshop on Cooperative Distributed Vision, pp. 41–55, Kyoto,Japan, November 1998. (invited)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Constraint-Satisfying Systems for Perceptual Robotics. In Proc. Int. Symposium on Noise Reduction for Imaging and Communication Systems, pp. 13–17, Tokyo, Japan, November 1998. (invited)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. The Dynamics of Intelligence: A Constraint Based Architecture for Situated Agents. In G. Sagerer, editors, Architectures for Situated Communicating Agents, Lecture Notes in Computer Science, Springer Verlag, 1998.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Designing and Building Vision-Based Robots. In H. Christensen, D. Hogg, B. Neumann, editors, Knowledge Based Computer Vision, Dagstuhl Seminar Series Report, Dagstuhl Seminar Series Report, pp. 20–21, , 1998. summary only
    Details     BibTeX     Download: (unavailable)
  • D. L. Poole, Alan Mackworth, and R. G. Goebel. Computational Intelligence: A Logical Approach, Oxford University Press, New York, January 1998.
    Details     BibTeX     Download: (unavailable)
  • Yu Zhang and Alan Mackworth. A Constraint-Based Controller for Soccer-Playing Robots. In Proc. IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS-98), pp. 1290–1295, Victoria, BC, October 1998. (invited)
    Details     BibTeX     Download: (unavailable)
  • I. J. Mulligan and Alan K. Mackworth. Experimental Task Analysis. In Proc. Int. Conf. on Robotics and Automation, pp. 3348–3353, Albuquerque, NM, April 1997.
    Details     BibTeX     Download: [pdf] (644.8kB )  
  • V. Tucakov, M. Sahota, D. Murray, Alan K. Mackworth, J. J. Little, S. Kingdon, C. Jennings, and R. Barman. A Stereoscopic Visually Guided Mobile Robot. In Proc. Hawaii Int’l. Conference on System Sciences, pp. 188–197, Lausanne, Switzerland, January 1997.
    Details     BibTeX     Download: [pdf] (1.2MB )  
  • Alan K. Mackworth. Constraint-Based Design of Embedded Intelligent Systems. ACM Computing Surveys, 28:67–es, 1996. Also in Constraints, 2, 83-86, 1997.
    Details     BibTeX     Download: [pdf] (83.0kB )  
  • Alan K. Mackworth. Quick and Clean: Constraint-Based Vision for Situated Robots. In Proc. IEEE Int. Conf. on Image Processing, pp. 789–792, Lausanne, Switzerland, September 1996.
    Details     BibTeX     Download: [pdf] (342.6kB )  
  • Y. Zhang and Alan K. Mackworth. Specification and verification of hybrid dynamic systems with timed all-automata. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems, III, Verification and Control, Lecture Notes in Computer Science, pp. 587–603, Springer Verlag, Cambridge, MA, 1996.
    Details     BibTeX     Download: (unavailable)
  • Yu Zhang and Alan K. Mackworth. Using Reactive Deliberation for Real-time Control of Soccer-playing Robots. In H. Kitano, editors, Robot Soccer Systems, RoboCup-97, Lecture Notes in Computer Science, pp. 508–512, Springer Verlag, 1996.
    Details     BibTeX     Download: [ps] (76.0kB )  
  • J. J. Little, D. G. Lowe, Alan K. Mackworth, D. K. Pai, and R. J. Woodham. Constraint-Based Visual Robotic Systems. In First World Congress on Intelligent Manufacturing, pp. 678–687, Puerto Rico, February 1995.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. IJCAI: International Jamboree for Canadian Artificial Intelligence. Canadian Artificial Intelligence, 36:7–8, 1995.
    Details     BibTeX     Download: (unavailable)
  • M. K. Sahota, Alan K. Mackworth, R. A. Barman, and S. J. Kingdon. Real-time Control of Soccer-playing Robots Using Off-board Vision: The Dynamite Testbed. In IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 3690–3693, Vancouver, BC, October 1995.
    Details     BibTeX     Download: [pdf] (437.2kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Nets: A Semantic Model for Dynamic Systems. Theoretical Computer Science, 138:211–239, 1995.
    Details     BibTeX     Download: [pdf] (325.1kB )  
  • Y. Zhang and Alan K. Mackworth. Synthesis of Hybrid Constraint-Based Controllers. In Hybrid Systems II, pp. 552–567, Springer-Verlag, Berlin, February 1995.
    Details     BibTeX     Download: [pdf] (217.6kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Programming in Constraint Nets. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, pp. 49–68, MIT Press, Cambridge, MA, 1995.
    Details     BibTeX     Download: (unavailable)
  • E. C. Freuder and Alan K. Mackworth, editors. Constraint-Based Reasoning, MIT Press, Stanford, CA, March 1994.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. The Logic of Constraint Satisfaction. In E. C. Freuder and A. K. Mackworth, editors, Constraint-Based Reasoning, pp. 3–20, MIT Press, Cambridge, MA, 1994.
    Details     BibTeX     Download: (unavailable)
  • M. Sahota and Alan K. Mackworth. Can Situated Robots Play Soccer?. In Proc. Artificial Intelligence ’94, pp. 249–254, Banff, AB, May 1994.
    Details     BibTeX     Download: [pdf] (88.0kB )  
  • Y. Zhang and Alan K. Mackworth. Will the Robot Do the Right Thing?. In Proc. Artificial Intelligence ’94, pp. 255–262, Banff, AB, May 1994.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Specification and Verification of Constraint-Based Dynamic Systems. In Proc. Second Workshop on Principles and Practise of Constraint Programming, pp. 206–215, Orcas Is., WA, May 1994.
    Details     BibTeX     Download: [pdf] (212.1kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Nets: A Unitary Model for Hybrid Concurrent Systems. Technical Report , Dept. of Computer Science, University of British Columbia, 1994.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan Mackworth. Parallel and Distributed Finite Constraint Satisfaction: Complexity,Algorithms and Experiments. In L. Kanal, H. Kitano, V. Kumar and C. Suttner, editors, Parallel Processing for Artificial Intelligence, pp. 305–334, Elsevier, Amsterdam, 1994.
    Details     BibTeX     Download: [pdf] (13.5MB )  
  • Y. Zhang and Alan K. Mackworth. Specification and Verification of Constraint-Based Dynamic Systems. In A. Borning, editors, Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, pp. 229–242, Springer Verlag, Berlin, 1994.
    Details     BibTeX     Download: (unavailable)
  • A. R. Barman, S. J. Kingdon, J. J. Little, Alan K. Mackworth, D. K. Pai, M. K. Sahota, H. Wilkinson, and Y. Zhang. DYNAMO: Real-time Experiments with Multiple Mobile Robots. In Proc. Intelligent Vehicles Symposium, pp. 261–266, Tokyo, Japan, July 1993.
    Details     BibTeX     Download: [pdf] (611.5kB )  
  • A. R. Barman, S. J. Kingdon, Alan K. Mackworth, D. K. Pai, M. K. Sahota, H. Wilkinson, and Y. Zhang. Dynamite: A Testbed for Multiple Mobile Robots. In Proc IJCAI Workshop on Dynamically Interacting Robots, pp. 38–45, Chambery, France, August 1993.
    Details     BibTeX     Download: [pdf] (33.5kB )  
  • Alan K. Mackworth and E. C. Freuder. The Complexity of Constraint Satisfaction Revisited. Artificial Intelligence, 59:57–62, 1993.
    Details     BibTeX     Download: [pdf] (25.2kB )  [ps] (290.9kB )  
  • Alan K. Mackworth. On Seeing Robots. In A. Basu and X. Li, editors, Computer Vision: Systems, Theory and Applications, pp. 1–13, World Scientific Press, Singapore, 1993. Reprinted in P. Thagard (ed.), Mind Readings, MIT Press, 1998.
    Details     BibTeX     Download: [pdf] (91.6kB )  
  • Alan K. Mackworth and E. C. Freuder. The Complexity of Constraint Satisfaction Revisited. In D. G. Bobrow, editors, Artificial Intelligence in Perspective, pp. 57–62, MIT Press, Cambridge, MA, 1993.
    Details     BibTeX     Download: [pdf] (25.2kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Programming in Constraint Nets. In Proc. First Workshop on Principles and Practice of Constraint Programming, pp. 303–312, Newport, RI, April 1993.
    Details     BibTeX     Download: [pdf] (220.3kB )  
  • Y. Zhang and Alan Mackworth. Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study. Technical Report TR 93-4, Dept. of Computer Science, University of British Columbia, 1993.
    Details     BibTeX     Download: [pdf] (281.0kB )  
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Artificial Intelligence, 56:197–222, 1992.
    Details     BibTeX     Download: [pdf] (1.6MB )  
  • Alan K. Mackworth. The Logic of Constraint Satisfaction. Artificial Intelligence, 58:3–20, 1992.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Building Robots. In Proc. Vision Interface ’92, pp. 187–188, Vancouver, BC, May 1992. (invited)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Logic and Depiction. In S. Shapiro, editors, Encyclopedia of Artificial Intelligence, pp. 853–854, J. Wiley and Sons, NY, 1992.
    Details     BibTeX     Download: (unavailable)
  • F. Mokhtarian and Alan K. Mackworth. A Theory of Multiscale, Curvature-Based Shape Representation for Planar Curves. IEEE Trans. Pattern Analysis and Machine Intelligence, 14(8):789–805, 1992.
    Details     BibTeX     Download: [pdf] (1.2MB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Nets: A Semantic Model for Real-Time Embedded Systems. Technical Report TR 92-10, Dept. of Computer Science, University of British Columbia, 1992.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Will the Robot Do the Right Thing?. Technical Report TR 92-31, Dept. of Computer Science, University of British Columbia, 1992.
    Details     BibTeX     Download: [pdf] (229.0kB )  
  • Y. Zhang and Alan 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, pp. 187–196, Elsevier Science Publishers B.V., 1992.
    Details     BibTeX     Download: (unavailable)
  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth, R. J. Woodham, D. G. Lowe, and J. J. Little. Building Vision Systems for Recognition, Tracking and Navigation. In Proc. First Annual IRIS•PRECARN Conference, Vancouver, BC, June 1991. (abstract only)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. The Logic of Constraint Satisfaction. Technical Report TR 91-26, Dept. of Computer Science, University of British Columbia, 1991.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Constraint Satisfaction. In S. Shapiro, editors, Encyclopedia of Artificial Intelligence, pp. 285–293, J. Wiley and Sons, NY, 1991.
    Details     BibTeX     Download: (unavailable)
  • F. Mokhtarian and Alan K. Mackworth. Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes. In R. Kastari and R. C. Jain, editors, Computer Vision: Advances and Applications, IEEE Computer Society Press, 1991.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Parallel and Distributed Constraint Satisfaction. In Proc. Workshop on Parallel Processing in Artificial Intelligence, pp. 229–234, Sydney, Australia, August 1991.
    Details     BibTeX     Download: [pdf] (381.1kB )  
  • Y. Zhang and Alan K. Mackworth. Parallel and Distributed Algorithms for Finite Constraint Satisfaction Problems. In Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, pp. 394–397, Dallas, TX, December 1991.
    Details     BibTeX     Download: [pdf] (381.1kB )  
  • Y. Zhang and Alan K. Mackworth. Modelling Behavioural Dynamics in Discrete Robotic Systems with Logical Concurrent Objects. In Robotics and Flexible Manufacturing Systems: Proc. 13th IMACS World Congress, Dublin, Ireland, July 1991. Appears also in IMACS Conference on Modelling and Control of Technological Systems, Lille, France, May 1991 and Robotics and Flexible Manufacturing Systems, J.-C. Gentina and S. G. Tzafestas (eds.), North-Holland, Amsterdam, pp. 187-196, 1992.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Parallel and Distributed Algorithms for Constraint Networks. Technical Report TR 91-6, Dept. of Computer Science, University of British Columbia, 1991.
    Details     BibTeX     Download: [pdf] (218.6kB )  
  • E. Freuder, M. Fox, and Alan K. Mackworth, editors. AAAI Workshop Notes on Constraint-Based Reasoning, , Boston, MA, July 1990.
    Details     BibTeX     Download: (unavailable)
  • R. M. Haralick, Alan K. Mackworth, and S. L. Tanimoto. Computer Vision Update. In A. Barr, editors, Handbook of Artificial Intelligence, pp. 519–582, Addison-Wesley, NY, March 1990.
    Details     BibTeX     Download: (unavailable)
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses. In Proc. Am. Assoc. for Art. Intell. Ann. Conf., pp. 324–330, Boston, MA, 1990. Also appears in and/or presented at, Proc. of Principles of Diagnosis Workshop, Stanford, CA, July 1990; Proc. of Model-Based Reasoning Workshop, Boston, MA, July 1990; Proc. of Qualitative Reasoning about Physical Systems Workshop, Vienna, Austria, November 1990.
    Details     BibTeX     Download: [pdf] (968.1kB )  
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Technical Report TR 90-8, Dept. of Computer Science, University of British Columbia, 1990.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Depiction Theory and Mental Representations. In Proc. Workshop on Mental Models, Cambridge, MA, March 1990. (abstract only)
    Details     BibTeX     Download: (unavailable)
  • R. Reiter and Alan K. Mackworth. A Logical Framework for Depiction and Image Interpretation. Artificial Intelligence, 41:125–155, 1990.
    Details     BibTeX     Download: (unavailable)
  • R. Dechter, J. de Kleer, M. Dincbas, J. Jaffar, Alan K. Mackworth, J. Pearl, and M. Zweben, editors. Proc. IJCAI-89 Workshop on Constraint Processing, , Detroit, MI, August 1989.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Book review of Computation and Cognition by Z. W. Pylyshyn. Artificial Intelligence, 38(239), 1989.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Cooperative Systems for Perceptual Tasks in a Remote Sensing Environment. In Proc. Int. Geoscience and Remote Sensing Symp., pp. 819–822, Vancouver, BC, 1989.
    Details     BibTeX     Download: [pdf] (324.1kB )  
  • Alan K. Mackworth. Constraint Satisfaction Problems and Knowledge Representation. In Proc. IJCAI-89 Workshop on Constraint Satisfaction Problems, Detroit, MI, August 1989. (abstract only)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and F. Mokhtarian. The Renormalized Curvature Scale Space and the Evolution Properties of Planar Curves. In Proc. IEEE Conference on Computer Vision and Pattern Recognition, pp. 318–326, Ann Arbor, MI, 1988.
    Details     BibTeX     Download: [pdf] (446.3kB )  
  • Alan K. Mackworth. Banquet Speech. Canadian Artificial Intelligence, 17:44–46, October 1988.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Adequacy Criteria for Visual Knowledge Representation. In Z. Pylyshyn, editors, Computational Processes in Human Vision, pp. 464–476, Ablex Publishers, Norwood, NJ, March 1988.
    Details     BibTeX     Download: (unavailable)
  • J. A. Mulder, Alan K. Mackworth, and W. S. Havens. Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. IEEE Trans. Pattern Analysis and Machine Intelligence, 10(6):866–879, 1988.
    Details     BibTeX     Download: [pdf] (1.5MB )  
  • I. J. Mulligan, Alan K. Mackworth, and P. D. Lawrence. A Model-Based Vision System for Manipulator Position Sensing. In Proc. IEEE Workshop on Interpretations of 3D Scenes, pp. 186–196, Austin, TX, 1988.
    Details     BibTeX     Download: [pdf] (837.5kB )  
  • W. S. Havens and Alan K. Mackworth. Representing and Using Knowledge of the Visual World. In N. J. Cercone and G. I. McCalla, editors, The Knowledge Frontier: Essays in the Representation of Knowledge, pp. 429–450, Springer-Verlag, NY, 1987.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. What is the schema for a schema? (A commentary on an article by M. A. Arbib). The Behavioral and Brain Sciences, 10(3):443–444, 1987.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Let’s visit the blocks world, encore une fois. Canadian Artificial Intelligence, 11:32–33, April 1987. (book review)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Update on Computational Vision: Shape Representation, Object Recognition and Constraint Satisfaction. Technical Report TR 87-29, Dept. of Computer Science, University of British Columbia, 1987.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Constraint Satisfaction. In S. Shapiro, editors, Encyclopedia of Artificial Intelligence, pp. 205–211, J. Wiley and Sons, NY, March 1987.
    Details     BibTeX     Download: (unavailable)
  • R. Reiter and Alan K. Mackworth. The Logic of Depiction. Technical Report TR 87-24, Dept. of Computer Science, University of British Columbia, 1987.
    Details     BibTeX     Download: (unavailable)
  • F. Mokhtarian and Alan K. Mackworth. Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 8(1):34–43, 1986. Reprinted in Computer Vision: Advances and Applications, R. Kasteri and R. C. Jain (eds.), IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 154-163. [Selected on basis of high citation frequency.]
    Details     BibTeX     Download: [pdf] (5.9MB )  
  • F. Mokhtarian and Alan K. Mackworth. Authors’ reply to comments on Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 8(5):675, 1986.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and E. C. Freuder. he Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artificial Intelligence, 25(1):65–74, 1985. This paper was honoured in Artificial Intelligence 59, 1-2, 1993 as one of the thirty most cited papers in the history of Artificial Intelligence.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth, J. A. Mulder, and W. S. Havens. Hierarchical Arc Consistency: Exploiting Structured Domains in Constraint Satisfaction Problems. Computational Intelligence, 1(3):118–126, 1985.
    Details     BibTeX     Download: [pdf] (712.5kB )  
  • R. J. Woodham, E. Catanzariti, and Alan K. Mackworth. Analysis by Synthesis in Computational Vision with Application to Remote Sensing. Computational Intelligence, 1(2):71–79, 1985.
    Details     BibTeX     Download: [pdf] (1.4MB )  
  • Alan K. Mackworth. The Homunculus as Bureaucrat (A commentary on "The Maltese Cross: A New Simplistic Model for Memory" by D. E. Broadbent). The Behavioral and Barin Sciences, 1(1):74, 1984.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and F. Mokhtarian. Scale-Based Description of Planar Curves. In Proc. 5th CSCSI Conference, pp. 114–119, London, ON, 1984.
    Details     BibTeX     Download: (unavailable)
  • W. S. Havens and Alan K. Mackworth. Representing Knowledge of the Visual World. IEEE Computer, 16(10):90–96, 1983.
    Details     BibTeX     Download: [pdf] (3.5MB )  
  • W. S. Havens, Alan K. Mackworth, and R. J. Woodham. The Laboratory for Computational Vision. Technical Report , Dept. of Computer Science, University of British Columbia, 1983.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Recovering the Meaning of Diagrams and Sketches. In Proc. Graphics Interface ’83, pp. 313–317, Edmonton, AB, 1983.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. On Seeing Things, Again. In Proc. Eighth International Joint Conf. on Artificial Intelligence, pp. 1187–1191, Karlsruhe, 1983.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and R. Reiter. Towards a National Policy for Artificial Intelligence: Notes for a discussion of AI in Canada. Technical Report , Working paper for Science Council of Canada Symposium, 1983.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Constraints, Descriptions and Domain Mappings in Computational Vision. In O. J. Braddick and A. C. Sleigh, editors, Physical and Biological Processing of Images, pp. 33–40, Springer-Verlag, Berlin, March 1983.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and W. S. Havens. Structuring Domain Knowledge for Visual Perception. In Proc. Seventh International Joint Conf. on Artificial Intelligence, pp. 625–627, Vancouver, BC, 1981.
    Details     BibTeX     Download: [pdf] (83.2kB )  
  • H. Breu and Alan K. Mackworth. Push and Pop on Pictures: Generalizing the Augmented Transition Network Formalism to Capture the Structure and Meaning of Images. In Proc. 3rd CSCSI Conf., pp. 179–187, Victoria, BC, 1980.
    Details     BibTeX     Download: (unavailable)
  • W. S. Havens and Alan K. Mackworth. Schemata-Based Understanding of Hand Drawn Sketch Maps. In Proc. 3rd CSCSI Conf., pp. 172–178, Victoria, BC, 1980.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Are Mediating Representations the Ghosts in the Machine?. The Behavioral and Barin Sciences, 3:393–394, 1980.
    Details     BibTeX     Download: (unavailable)
  • E. Catanzariti and Alan K. Mackworth. Forests and Pyramids: Using Image Hierarchies to Understand Landsat Images. In Proc. 5th Can. Symp. on Remote Sensing, pp. 284–291, Victoria, BC, 1979.
    Details     BibTeX     Download: (unavailable)
  • D. W. Starr and Alan K. Mackworth. Exploiting Spectral, Spatial and Semantic Constraints in the Segmentation of Landsat Images. Can. Journal of Remote Sensing, 4(2):102–107, 1979.
    Details     BibTeX     Download: (unavailable)
  • M. S. Dionne and Alan K. Mackworth. ANTICS: A System for Animating LISP Programs. Computer Graphics and Image Processing, 7(1):105–119, 1978.
    Details     BibTeX     Download: [pdf] (636.9kB )  
  • Alan K. Mackworth. Computer-Based Image Understanding at UBC. In Proc. Can. Inf. Processing Soc. Session ’78, pp. 422–424, Edmonton, AB, 1978.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and R. S. Rosenberg. Winston CONSes up Winning Text: A Review of Artificial Intelligence. AISB Bulletin, 1978.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Vision Research Strategy: Black Magic, Metaphors, Mechanisms, Miniworlds and Maps. In E. Riseman, and A. Hanson, editors, Computer Vision Systems, pp. 53–59, Academic Press, March 1978.
    Details     BibTeX     Download: (unavailable)
  • J. A. Mulder and Alan K. Mackworth. Using Multi-Level Semantics to Understand Sketches of Houses and Other Polyhedral Objects. In Proc. Second Nat’l. Can. Soc. for Comp. Studies of Intelligence Conf., pp. 244–253, Toronto, ON, 1978.
    Details     BibTeX     Download: (unavailable)
  • Alan Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99–118, 1977. Reprinted in Readings in Artificial Intelligence, B. L. Webber and N. J. Nilsson (eds.), Tioga Publ. Col., Palo Alto, CA, pp. 69-78, 1981. [This paper was honoured in Artificial Intelligence 59, 1-2, 1993 as one of the fifty most cited papers in the history of Artificial Intelligence.]
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. On Reading Sketch Maps. In Proc. Fifth International Joint Conf. on Artificial Intelligence, pp. 598–606, MIT, Cambridge, MA, 1977.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. How to See a Simple World. In E. W. Elcock, and D. Michie, editors, Machine Intelligence, pp. 510–537, Wiley, Stanford, CA, March 1977.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Model-Driven Interpretation in Intelligent Vision Systems. Perception, 5(3):349–370, 1976.
    Details     BibTeX     Download: [pdf] (6.7MB )  
  • Alan K. Mackworth. Making Maps Make Sense. In Proc. First Nat’l. Can. Soc. for Comp. Studies of Intelligence Conf., pp. 42–51, Vancouver, BC, 1976.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. LISP as a First Programming Language?. AISB Bulletin, 23:37–38, 1976.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Some Summer Vision Thoughts. In Position Papers for Workshop on Computer Vision Systems, pp. 62–67, Amherst, Mass., 1976.
    Details     BibTeX     Download: (unavailable)
  • D. W. Starr and Alan K. Mackworth. Interpretation-Directed Segmentation of ERTS Images. In Proc. ACM/CIPS Pacific Regional Symp., pp. 69–74, Seattle, WA, 1976.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Problem Solving Methods in Artificial Intelligence. Quarterly Journal of Experimental Psychology, 26(331), 1974. A review of Nilsson, NJ,
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Use Models to See. In Proc. Artificial Intelligence and Simulation of Behavior Summer Conf., pp. 127–137, 1974.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Interpreting Pictures of Polyhedral Scenes. Artificial Intelligence, 4(2):121–137, 1973. Also Proc. 3rd Int’l. Joint Conf. on Artificial Intelligence, Stanford Research Institute, Stanford, CA, 1973.
    Details     BibTeX     Download: [pdf] (198.0kB )  
  • Alan K. Mackworth. Interpreting Pictures of Polyhedral Scenes. In Proc. 3rd Int’l. Joint Conf. on Artificial Intelligence, Stanford Research Institute, Stanford, CA, 1973.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Patterns and Pictures. Nature, 236:430–431, 1972.
    Details     BibTeX     Download: (unavailable)

Dionne, M. S.

Starr, D. W.

  • D. W. Starr and Alan K. Mackworth. Exploiting Spectral, Spatial and Semantic Constraints in the Segmentation of Landsat Images. Can. Journal of Remote Sensing, 4(2):102–107, 1979.
    Details     BibTeX     Download: (unavailable)
  • D. W. Starr and Alan K. Mackworth. Interpretation-Directed Segmentation of ERTS Images. In Proc. ACM/CIPS Pacific Regional Symp., pp. 69–74, Seattle, WA, 1976.
    Details     BibTeX     Download: (unavailable)

Havens, W. S.

Freuder, E.

  • E. C. Freuder and Alan K. Mackworth. Constraint Satisfaction: An Emerging Paradigm. In F. Rossi, P. Van Beek and T. Walsh, editors, Handbook of Constraint Programming, pp. 13–28, Elsevier, 2006.
    Details     BibTeX     Download: (unavailable)
  • E. C. Freuder and Alan K. Mackworth, editors. Constraint-Based Reasoning, MIT Press, Stanford, CA, March 1994.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and E. C. Freuder. The Complexity of Constraint Satisfaction Revisited. Artificial Intelligence, 59:57–62, 1993.
    Details     BibTeX     Download: [pdf] (25.2kB )  [ps] (290.9kB )  
  • Alan K. Mackworth and E. C. Freuder. The Complexity of Constraint Satisfaction Revisited. In D. G. Bobrow, editors, Artificial Intelligence in Perspective, pp. 57–62, MIT Press, Cambridge, MA, 1993.
    Details     BibTeX     Download: [pdf] (25.2kB )  
  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)
  • E. Freuder, M. Fox, and Alan K. Mackworth, editors. AAAI Workshop Notes on Constraint-Based Reasoning, , Boston, MA, July 1990.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and E. C. Freuder. he Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artificial Intelligence, 25(1):65–74, 1985. This paper was honoured in Artificial Intelligence 59, 1-2, 1993 as one of the thirty most cited papers in the history of Artificial Intelligence.
    Details     BibTeX     Download: (unavailable)

Woodham, R. J.

Catanzariti, E.

Mulder, J. A.

  • J. A. Mulder, Alan K. Mackworth, and W. S. Havens. Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. IEEE Trans. Pattern Analysis and Machine Intelligence, 10(6):866–879, 1988.
    Details     BibTeX     Download: [pdf] (1.5MB )  
  • Alan K. Mackworth, J. A. Mulder, and W. S. Havens. Hierarchical Arc Consistency: Exploiting Structured Domains in Constraint Satisfaction Problems. Computational Intelligence, 1(3):118–126, 1985.
    Details     BibTeX     Download: [pdf] (712.5kB )  
  • J. A. Mulder and Alan K. Mackworth. Using Multi-Level Semantics to Understand Sketches of Houses and Other Polyhedral Objects. In Proc. Second Nat’l. Can. Soc. for Comp. Studies of Intelligence Conf., pp. 244–253, Toronto, ON, 1978.
    Details     BibTeX     Download: (unavailable)

Mokhtarian, F.

  • F. Mokhtarian and Alan K. Mackworth. A Theory of Multiscale, Curvature-Based Shape Representation for Planar Curves. IEEE Trans. Pattern Analysis and Machine Intelligence, 14(8):789–805, 1992.
    Details     BibTeX     Download: [pdf] (1.2MB )  
  • F. Mokhtarian and Alan K. Mackworth. Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes. In R. Kastari and R. C. Jain, editors, Computer Vision: Advances and Applications, IEEE Computer Society Press, 1991.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and F. Mokhtarian. The Renormalized Curvature Scale Space and the Evolution Properties of Planar Curves. In Proc. IEEE Conference on Computer Vision and Pattern Recognition, pp. 318–326, Ann Arbor, MI, 1988.
    Details     BibTeX     Download: [pdf] (446.3kB )  
  • F. Mokhtarian and Alan K. Mackworth. Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 8(1):34–43, 1986. Reprinted in Computer Vision: Advances and Applications, R. Kasteri and R. C. Jain (eds.), IEEE Computer Society Press, Los Alamitos, CA, 1992, pp. 154-163. [Selected on basis of high citation frequency.]
    Details     BibTeX     Download: [pdf] (5.9MB )  
  • F. Mokhtarian and Alan K. Mackworth. Authors’ reply to comments on Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes. IEEE Transactions on Pattern Analysis and Machine Intelligence, 8(5):675, 1986.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and F. Mokhtarian. Scale-Based Description of Planar Curves. In Proc. 5th CSCSI Conference, pp. 114–119, London, ON, 1984.
    Details     BibTeX     Download: (unavailable)

Reiter, R.

  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Artificial Intelligence, 56:197–222, 1992.
    Details     BibTeX     Download: [pdf] (1.6MB )  
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses. In Proc. Am. Assoc. for Art. Intell. Ann. Conf., pp. 324–330, Boston, MA, 1990. Also appears in and/or presented at, Proc. of Principles of Diagnosis Workshop, Stanford, CA, July 1990; Proc. of Model-Based Reasoning Workshop, Boston, MA, July 1990; Proc. of Qualitative Reasoning about Physical Systems Workshop, Vienna, Austria, November 1990.
    Details     BibTeX     Download: [pdf] (968.1kB )  
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Technical Report TR 90-8, Dept. of Computer Science, University of British Columbia, 1990.
    Details     BibTeX     Download: (unavailable)
  • R. Reiter and Alan K. Mackworth. A Logical Framework for Depiction and Image Interpretation. Artificial Intelligence, 41:125–155, 1990.
    Details     BibTeX     Download: (unavailable)
  • R. Reiter and Alan K. Mackworth. The Logic of Depiction. Technical Report TR 87-24, Dept. of Computer Science, University of British Columbia, 1987.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth and R. Reiter. Towards a National Policy for Artificial Intelligence: Notes for a discussion of AI in Canada. Technical Report , Working paper for Science Council of Canada Symposium, 1983.
    Details     BibTeX     Download: (unavailable)

Kleer, J. de

  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Artificial Intelligence, 56:197–222, 1992.
    Details     BibTeX     Download: [pdf] (1.6MB )  
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses. In Proc. Am. Assoc. for Art. Intell. Ann. Conf., pp. 324–330, Boston, MA, 1990. Also appears in and/or presented at, Proc. of Principles of Diagnosis Workshop, Stanford, CA, July 1990; Proc. of Model-Based Reasoning Workshop, Boston, MA, July 1990; Proc. of Qualitative Reasoning about Physical Systems Workshop, Vienna, Austria, November 1990.
    Details     BibTeX     Download: [pdf] (968.1kB )  
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Technical Report TR 90-8, Dept. of Computer Science, University of British Columbia, 1990.
    Details     BibTeX     Download: (unavailable)
  • R. Dechter, J. de Kleer, M. Dincbas, J. Jaffar, Alan K. Mackworth, J. Pearl, and M. Zweben, editors. Proc. IJCAI-89 Workshop on Constraint Processing, , Detroit, MI, August 1989.
    Details     BibTeX     Download: (unavailable)

Zhang, Y.

  • Alan K. Mackworth and Ying Zhang. A Formal Approach to Agent Design: An Overview of Constraint-Based Agents. Constraints, 8(3):229–242, 2003.
    Details     BibTeX     Download: [pdf] (172.8kB )  [ps] (1.2MB )  
  • Yu Zhang and Alan K. Mackworth. A Constraint-based Robotic Soccer Team. Constraints, 7:7–28, 2002.
    Details     BibTeX     Download: [pdf] (157.3kB )  
  • Ying Zhang and Alan K. Mackworth. Formal Specification of Performance Metrics for Intelligent Systems. In Proc. Workshop on Performance Metrics for Intelligent Systems, pp. 33–34, National Institute of Standards and Technology, Washington, DC, August 2000.
    Details     BibTeX     Download: [pdf] (38.6kB )  
  • Yu Zhang and Alan K. Mackworth. A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team. In RoboCup-98: Robot Soccer World Cup II, pp. 402–409, Springer-Verlag, Albuquerque, NM, April 1999.
    Details     BibTeX     Download: [pdf] (154.9kB )  
  • Yu Zhang and Alan K. Mackworth. A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team. In M. Asada and H. Kitano, editors, RoboCup-98: Robot Soccer World Cup II, Lecture Notes in Computer Science, pp. 402–409, Springer-Verlag, 1999.
    Details     BibTeX     Download: [pdf] (154.9kB )  
  • Ying Zhang and Alan K. Mackworth. Modelling and Analysis of Hybrid Control Systems: An Elevator Case Study. In H. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents, pp. 370–396, Springer-Verlag, Berlin, 1999.
    Details     BibTeX     Download: [pdf] (297.4kB )  
  • Alan K. Mackworth and Yu Zhang. The Dynamics of Intelligence: A Constraint-Based Architecture for Situated Visual Agents. In Proc. Second Int. Workshop on Cooperative Distributed Vision, pp. 41–55, Kyoto,Japan, November 1998. (invited)
    Details     BibTeX     Download: (unavailable)
  • Yu Zhang and Alan Mackworth. A Constraint-Based Controller for Soccer-Playing Robots. In Proc. IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (IROS-98), pp. 1290–1295, Victoria, BC, October 1998. (invited)
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Specification and verification of hybrid dynamic systems with timed all-automata. In R. Alur, T. A. Henzinger, and E. D. Sontag, editors, Hybrid Systems, III, Verification and Control, Lecture Notes in Computer Science, pp. 587–603, Springer Verlag, Cambridge, MA, 1996.
    Details     BibTeX     Download: (unavailable)
  • Yu Zhang and Alan K. Mackworth. Using Reactive Deliberation for Real-time Control of Soccer-playing Robots. In H. Kitano, editors, Robot Soccer Systems, RoboCup-97, Lecture Notes in Computer Science, pp. 508–512, Springer Verlag, 1996.
    Details     BibTeX     Download: [ps] (76.0kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Nets: A Semantic Model for Dynamic Systems. Theoretical Computer Science, 138:211–239, 1995.
    Details     BibTeX     Download: [pdf] (325.1kB )  
  • Y. Zhang and Alan K. Mackworth. Synthesis of Hybrid Constraint-Based Controllers. In Hybrid Systems II, pp. 552–567, Springer-Verlag, Berlin, February 1995.
    Details     BibTeX     Download: [pdf] (217.6kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Programming in Constraint Nets. In V. Saraswat and P. Van Hentenryck, editors, Principles and Practice of Constraint Programming, pp. 49–68, MIT Press, Cambridge, MA, 1995.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Will the Robot Do the Right Thing?. In Proc. Artificial Intelligence ’94, pp. 255–262, Banff, AB, May 1994.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Specification and Verification of Constraint-Based Dynamic Systems. In Proc. Second Workshop on Principles and Practise of Constraint Programming, pp. 206–215, Orcas Is., WA, May 1994.
    Details     BibTeX     Download: [pdf] (212.1kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Nets: A Unitary Model for Hybrid Concurrent Systems. Technical Report , Dept. of Computer Science, University of British Columbia, 1994.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan Mackworth. Parallel and Distributed Finite Constraint Satisfaction: Complexity,Algorithms and Experiments. In L. Kanal, H. Kitano, V. Kumar and C. Suttner, editors, Parallel Processing for Artificial Intelligence, pp. 305–334, Elsevier, Amsterdam, 1994.
    Details     BibTeX     Download: [pdf] (13.5MB )  
  • Y. Zhang and Alan K. Mackworth. Specification and Verification of Constraint-Based Dynamic Systems. In A. Borning, editors, Principles and Practice of Constraint Programming, Lecture Notes in Computer Science, pp. 229–242, Springer Verlag, Berlin, 1994.
    Details     BibTeX     Download: (unavailable)
  • A. R. Barman, S. J. Kingdon, J. J. Little, Alan K. Mackworth, D. K. Pai, M. K. Sahota, H. Wilkinson, and Y. Zhang. DYNAMO: Real-time Experiments with Multiple Mobile Robots. In Proc. Intelligent Vehicles Symposium, pp. 261–266, Tokyo, Japan, July 1993.
    Details     BibTeX     Download: [pdf] (611.5kB )  
  • A. R. Barman, S. J. Kingdon, Alan K. Mackworth, D. K. Pai, M. K. Sahota, H. Wilkinson, and Y. Zhang. Dynamite: A Testbed for Multiple Mobile Robots. In Proc IJCAI Workshop on Dynamically Interacting Robots, pp. 38–45, Chambery, France, August 1993.
    Details     BibTeX     Download: [pdf] (33.5kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Programming in Constraint Nets. In Proc. First Workshop on Principles and Practice of Constraint Programming, pp. 303–312, Newport, RI, April 1993.
    Details     BibTeX     Download: [pdf] (220.3kB )  
  • Y. Zhang and Alan Mackworth. Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study. Technical Report TR 93-4, Dept. of Computer Science, University of British Columbia, 1993.
    Details     BibTeX     Download: [pdf] (281.0kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Nets: A Semantic Model for Real-Time Embedded Systems. Technical Report TR 92-10, Dept. of Computer Science, University of British Columbia, 1992.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Will the Robot Do the Right Thing?. Technical Report TR 92-31, Dept. of Computer Science, University of British Columbia, 1992.
    Details     BibTeX     Download: [pdf] (229.0kB )  
  • Y. Zhang and Alan 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, pp. 187–196, Elsevier Science Publishers B.V., 1992.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Parallel and Distributed Constraint Satisfaction. In Proc. Workshop on Parallel Processing in Artificial Intelligence, pp. 229–234, Sydney, Australia, August 1991.
    Details     BibTeX     Download: [pdf] (381.1kB )  
  • Y. Zhang and Alan K. Mackworth. Parallel and Distributed Algorithms for Finite Constraint Satisfaction Problems. In Proc. 3rd IEEE Symposium on Parallel and Distributed Processing, pp. 394–397, Dallas, TX, December 1991.
    Details     BibTeX     Download: [pdf] (381.1kB )  
  • Y. Zhang and Alan K. Mackworth. Modelling Behavioural Dynamics in Discrete Robotic Systems with Logical Concurrent Objects. In Robotics and Flexible Manufacturing Systems: Proc. 13th IMACS World Congress, Dublin, Ireland, July 1991. Appears also in IMACS Conference on Modelling and Control of Technological Systems, Lille, France, May 1991 and Robotics and Flexible Manufacturing Systems, J.-C. Gentina and S. G. Tzafestas (eds.), North-Holland, Amsterdam, pp. 187-196, 1992.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Parallel and Distributed Algorithms for Constraint Networks. Technical Report TR 91-6, Dept. of Computer Science, University of British Columbia, 1991.
    Details     BibTeX     Download: [pdf] (218.6kB )  

Hentenryck, P. Van

  • P. Van Hentenryck. Constraint Programming. ACM Computing Surveys, 1998. (36 pp.)
    Details     BibTeX     Download: (unavailable)

Rogic, S.

  • S. Rogic, B. Montpetit, H. Hoos, Alan K. Mackworth, B. F. F. Ouellette, and P. Hieter. Correlation Between the Secondary Structure of pre-mRNA Introns and the Efficiency of Splicing in Saccharomyces Cerevisiae. BMC Genomics, 9(355), 2008.
    Details     BibTeX     Download: [pdf] (535.2kB )  
  • S. Rogic, B. Montpetit, H. H. Hoos, Alan K. Mackworth, B. F. F. Quellette, and P. Hieter. Splicing in Saccharomyces cerevisiae: A New Model for the Role of pre-mRNA Secondary Structure. In Proc. RNA 2006, Seattle, WA, June 2006. (Refereed Poster and Extended Abstract)
    Details     BibTeX     Download: (unavailable)
  • S. P. Shah, G. P. McVicker, Alan K. Mackworth, S. Rogic, and B. F. F. Quellette. GeneComber: Combining Outputs of Gene Prediction Programs for Improved Results. Bioinformatics, 19(10):1296–1297, 2003.
    Details     BibTeX     Download: [pdf] (35.6kB )  
  • S. Rogic, B. F. F. Quellette, and Alan Mackworth. Improving Recognition Accuracy by Combining Predictions from Two Gene-Finding Programs. Bioinformatics, 18(8):1034–1045, 2002.
    Details     BibTeX     Download: [pdf] (428.8kB )  
  • S. Rogic, Alan K. Mackworth, and B. F. F. Quellette. Evaluation of Gene-Finding Programs on Mammalian Sequences. Genome Research, 11:817–832, 2001.
    Details     BibTeX     Download: [pdf] (551.6kB )  
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Exploring Different Methods for Combining Gene-Finding Programs. In Proc. Can. Genetic Diseases Network Ann. Scientific Mtg. 2000, pp. 25, Vancouver, BC, April 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Exploring Different Methods for Combining Gene-Finding Programs. In Proc. Human Genome Mtg. 2000 (HUGO), pp. 61–62, Vancouver, BC, April 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Combining Gene-Finding Programs. In Proc. Genome-Based Structure Determination Symposium, EMBL-EBI, pp. 33–34, Cambridge, UK, June 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Combining Evidence from Different Gene-Structure Prediction Programs. In Proc. Conf. Bioinformatics – In Silico Biology, pp. 74, Atlanta, GA, November 1999. (abstract)
    Details     BibTeX     Download: (unavailable)

Quellette, B. F. F.

Shah, S. P.

McVicker, G. P.

St-Aubin, R.

  • R. St-Aubin, J. Friedman, and Alan K. Mackworth. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. Annals of Mathematics and Artificial Intelligence, 37(3-4):397–425, 2006.
    Details     BibTeX     Download: [pdf] (517.1kB )  
  • R. St-Aubin, J. Friedman, and Alan K. Mackworth. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. In Proc. Ninth Int. Symp. on AI and Mathematics – AI-Math-06, Ft. Lauderdale, FL, January 2006.
    Details     BibTeX     Download: [pdf] (396.5kB )  
  • R. St-Aubin and Alan K. Mackworth. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. Technical Report TR-2005-24, Dept. of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (297.1kB )  
  • R. St-Aubin and Alan K. Mackworth. Modeling Uncertain Dynamical Systems and Solving Behavioural Constraints Using Probabilistic Constraint Nets. In 16th European Conference on AI: Workshop on Modeling and Solving Problems with Constraints (ECAI 2004), pp. 70–85, Valencia, Spain, April 2004.
    Details     BibTeX     Download: (unavailable)
  • R. St-Aubin and Alan K. Mackworth. Probabilistic Constraint Nets: Constraint-Based Approach to Modeling and Verification of Hybrid Systems with Uncertainty. Technical Report TR-2004-05, Dept. of Computer Science, University of British Columbia, 2004.
    Details     BibTeX     Download: [pdf] (553.1kB )  

Friedman, J.

Amershi, S.

Carenini, G.

Conati, C.

Poole, D.

Breu, H.

  • H. Breu and Alan K. Mackworth. Push and Pop on Pictures: Generalizing the Augmented Transition Network Formalism to Capture the Structure and Meaning of Images. In Proc. 3rd CSCSI Conf., pp. 179–187, Victoria, BC, 1980.
    Details     BibTeX     Download: (unavailable)

Mulligan, I. J.

Lawrence, P. D.

Barman, A. R.

Kingdon, S.

  • V. Tucakov, M. Sahota, D. Murray, Alan K. Mackworth, J. J. Little, S. Kingdon, C. Jennings, and R. Barman. A Stereoscopic Visually Guided Mobile Robot. In Proc. Hawaii Int’l. Conference on System Sciences, pp. 188–197, Lausanne, Switzerland, January 1997.
    Details     BibTeX     Download: [pdf] (1.2MB )  
  • M. K. Sahota, Alan K. Mackworth, R. A. Barman, and S. J. Kingdon. Real-time Control of Soccer-playing Robots Using Off-board Vision: The Dynamite Testbed. In IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 3690–3693, Vancouver, BC, October 1995.
    Details     BibTeX     Download: [pdf] (437.2kB )  
  • A. R. Barman, S. J. Kingdon, J. J. Little, Alan K. Mackworth, D. K. Pai, M. K. Sahota, H. Wilkinson, and Y. Zhang. DYNAMO: Real-time Experiments with Multiple Mobile Robots. In Proc. Intelligent Vehicles Symposium, pp. 261–266, Tokyo, Japan, July 1993.
    Details     BibTeX     Download: [pdf] (611.5kB )  
  • A. R. Barman, S. J. Kingdon, Alan K. Mackworth, D. K. Pai, M. K. Sahota, H. Wilkinson, and Y. Zhang. Dynamite: A Testbed for Multiple Mobile Robots. In Proc IJCAI Workshop on Dynamically Interacting Robots, pp. 38–45, Chambery, France, August 1993.
    Details     BibTeX     Download: [pdf] (33.5kB )  

Little, J.

Pai, D. K.

Sahota, M.

Wilkinson, H.

Lowe, D. G.

Barman, R.

  • V. Tucakov, M. Sahota, D. Murray, Alan K. Mackworth, J. J. Little, S. Kingdon, C. Jennings, and R. Barman. A Stereoscopic Visually Guided Mobile Robot. In Proc. Hawaii Int’l. Conference on System Sciences, pp. 188–197, Lausanne, Switzerland, January 1997.
    Details     BibTeX     Download: [pdf] (1.2MB )  
  • M. K. Sahota, Alan K. Mackworth, R. A. Barman, and S. J. Kingdon. Real-time Control of Soccer-playing Robots Using Off-board Vision: The Dynamite Testbed. In IEEE Int. Conf. on Systems, Man, and Cybernetics, pp. 3690–3693, Vancouver, BC, October 1995.
    Details     BibTeX     Download: [pdf] (437.2kB )  

Tucakov, V.

  • V. Tucakov, M. Sahota, D. Murray, Alan K. Mackworth, J. J. Little, S. Kingdon, C. Jennings, and R. Barman. A Stereoscopic Visually Guided Mobile Robot. In Proc. Hawaii Int’l. Conference on System Sciences, pp. 188–197, Lausanne, Switzerland, January 1997.
    Details     BibTeX     Download: [pdf] (1.2MB )  

Murray, D.

  • V. Tucakov, M. Sahota, D. Murray, Alan K. Mackworth, J. J. Little, S. Kingdon, C. Jennings, and R. Barman. A Stereoscopic Visually Guided Mobile Robot. In Proc. Hawaii Int’l. Conference on System Sciences, pp. 188–197, Lausanne, Switzerland, January 1997.
    Details     BibTeX     Download: [pdf] (1.2MB )  

Jennings, C.

  • V. Tucakov, M. Sahota, D. Murray, Alan K. Mackworth, J. J. Little, S. Kingdon, C. Jennings, and R. Barman. A Stereoscopic Visually Guided Mobile Robot. In Proc. Hawaii Int’l. Conference on System Sciences, pp. 188–197, Lausanne, Switzerland, January 1997.
    Details     BibTeX     Download: [pdf] (1.2MB )  

Ouellette, F.

  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Exploring Different Methods for Combining Gene-Finding Programs. In Proc. Can. Genetic Diseases Network Ann. Scientific Mtg. 2000, pp. 25, Vancouver, BC, April 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Exploring Different Methods for Combining Gene-Finding Programs. In Proc. Human Genome Mtg. 2000 (HUGO), pp. 61–62, Vancouver, BC, April 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Combining Gene-Finding Programs. In Proc. Genome-Based Structure Determination Symposium, EMBL-EBI, pp. 33–34, Cambridge, UK, June 2000. (abstract and poster)
    Details     BibTeX     Download: (unavailable)
  • S. Rogic, F. Ouellette, and Alan K. Mackworth. Combining Evidence from Different Gene-Structure Prediction Programs. In Proc. Conf. Bioinformatics – In Silico Biology, pp. 74, Atlanta, GA, November 1999. (abstract)
    Details     BibTeX     Download: (unavailable)

Song, F.

Montgomery, J. D.

Muyan-Ozcelik, P.

Arksey, N.

Maclaren, H.

Chang, L.

Montpetit, B.

  • S. Rogic, B. Montpetit, H. Hoos, Alan K. Mackworth, B. F. F. Ouellette, and P. Hieter. Correlation Between the Secondary Structure of pre-mRNA Introns and the Efficiency of Splicing in Saccharomyces Cerevisiae. BMC Genomics, 9(355), 2008.
    Details     BibTeX     Download: [pdf] (535.2kB )  
  • S. Rogic, B. Montpetit, H. H. Hoos, Alan K. Mackworth, B. F. F. Quellette, and P. Hieter. Splicing in Saccharomyces cerevisiae: A New Model for the Role of pre-mRNA Secondary Structure. In Proc. RNA 2006, Seattle, WA, June 2006. (Refereed Poster and Extended Abstract)
    Details     BibTeX     Download: (unavailable)

Hoos, H.

  • S. Rogic, B. Montpetit, H. Hoos, Alan K. Mackworth, B. F. F. Ouellette, and P. Hieter. Correlation Between the Secondary Structure of pre-mRNA Introns and the Efficiency of Splicing in Saccharomyces Cerevisiae. BMC Genomics, 9(355), 2008.
    Details     BibTeX     Download: [pdf] (535.2kB )  
  • S. Rogic, B. Montpetit, H. H. Hoos, Alan K. Mackworth, B. F. F. Quellette, and P. Hieter. Splicing in Saccharomyces cerevisiae: A New Model for the Role of pre-mRNA Secondary Structure. In Proc. RNA 2006, Seattle, WA, June 2006. (Refereed Poster and Extended Abstract)
    Details     BibTeX     Download: (unavailable)

Hieter, P.

  • S. Rogic, B. Montpetit, H. Hoos, Alan K. Mackworth, B. F. F. Ouellette, and P. Hieter. Correlation Between the Secondary Structure of pre-mRNA Introns and the Efficiency of Splicing in Saccharomyces Cerevisiae. BMC Genomics, 9(355), 2008.
    Details     BibTeX     Download: [pdf] (535.2kB )  
  • S. Rogic, B. Montpetit, H. H. Hoos, Alan K. Mackworth, B. F. F. Quellette, and P. Hieter. Splicing in Saccharomyces cerevisiae: A New Model for the Role of pre-mRNA Secondary Structure. In Proc. RNA 2006, Seattle, WA, June 2006. (Refereed Poster and Extended Abstract)
    Details     BibTeX     Download: (unavailable)

Viswanathan, P.

Boger, J.

Hoey, J.

Elinas, P.

Mihailidis, A.

Yang, S.

Rosenberg, R. S.

  • Alan K. Mackworth and R. S. Rosenberg. Winston CONSes up Winning Text: A Review of Artificial Intelligence. AISB Bulletin, 1978.
    Details     BibTeX     Download: (unavailable)

Goebel, R. G.

Dechter, R.

  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)
  • R. Dechter, J. de Kleer, M. Dincbas, J. Jaffar, Alan K. Mackworth, J. Pearl, and M. Zweben, editors. Proc. IJCAI-89 Workshop on Constraint Processing, , Detroit, MI, August 1989.
    Details     BibTeX     Download: (unavailable)

Dincbas, M.

  • R. Dechter, J. de Kleer, M. Dincbas, J. Jaffar, Alan K. Mackworth, J. Pearl, and M. Zweben, editors. Proc. IJCAI-89 Workshop on Constraint Processing, , Detroit, MI, August 1989.
    Details     BibTeX     Download: (unavailable)

Jaffar, J.

  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)
  • R. Dechter, J. de Kleer, M. Dincbas, J. Jaffar, Alan K. Mackworth, J. Pearl, and M. Zweben, editors. Proc. IJCAI-89 Workshop on Constraint Processing, , Detroit, MI, August 1989.
    Details     BibTeX     Download: (unavailable)

Pearl, J.

  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)
  • R. Dechter, J. de Kleer, M. Dincbas, J. Jaffar, Alan K. Mackworth, J. Pearl, and M. Zweben, editors. Proc. IJCAI-89 Workshop on Constraint Processing, , Detroit, MI, August 1989.
    Details     BibTeX     Download: (unavailable)

Zweben, M.

  • R. Dechter, J. de Kleer, M. Dincbas, J. Jaffar, Alan K. Mackworth, J. Pearl, and M. Zweben, editors. Proc. IJCAI-89 Workshop on Constraint Processing, , Detroit, MI, August 1989.
    Details     BibTeX     Download: (unavailable)

Fox, M.

  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)
  • E. Freuder, M. Fox, and Alan K. Mackworth, editors. AAAI Workshop Notes on Constraint-Based Reasoning, , Boston, MA, July 1990.
    Details     BibTeX     Download: (unavailable)

Mittal, M.

  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)

Borning, A.

  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proc. AAAI Spring Symposium on Constraint-Based Reasoning, , Stanford, CA, March 1991.
    Details     BibTeX     Download: (unavailable)

Haralick, R. M.

  • R. M. Haralick, Alan K. Mackworth, and S. L. Tanimoto. Computer Vision Update. In A. Barr, editors, Handbook of Artificial Intelligence, pp. 519–582, Addison-Wesley, NY, March 1990.
    Details     BibTeX     Download: (unavailable)

Tanimoto, S. L.

  • R. M. Haralick, Alan K. Mackworth, and S. L. Tanimoto. Computer Vision Update. In A. Barr, editors, Handbook of Artificial Intelligence, pp. 519–582, Addison-Wesley, NY, March 1990.
    Details     BibTeX     Download: (unavailable)

Pylyshyn, Z. W.

  • Z. W. Pylyshyn. Computation and Cognition: Toward a Foundation for Cognitive Science. In W. J. Clancey, S. W. Smoliar and M. J. Stefic, editors, Contemplating Minds, A Forum for Artificial Intelligence, pp. 14–15, MIT Press, Cambridge, MA, 1994.
    Details     BibTeX     Download: (unavailable)

Ouellette, B. F. F.

Knoll, B.

Kisynski, J.

Meger, D.

Southey, T.

Helmer, S.

McCann, S.

Muja, M.

Dockrey, M.

Joya, M.

Fazli, Pooyan

Davoodi, Alireza

Pasquier, Philippe

J. Little, J.

Silva, Bruno da

  • Bruno da Silva and Alan K. Mackworth. Using Spatial Hints to Improve Policy Reuse in a Reinforcement Learning Agent. In Proceedings of the 9th International Conference on Autonomous Agents and MultiagentSystems, AAMAS 2010, pp. 317–324, Toronto, Canada, May 2010.
    Details     BibTeX     Download: [pdf] (316.9kB )  

Fernquist, J.

  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using a Multi-touch Tabletop to Create and Compare Sustainable Neighbourhood Patterns. In 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, CPAIOR, , June 2010.
    Details     BibTeX     Download: (unavailable)
  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using Multi-touch Tabletops to Create and Compare Neighbourhood Designs that Satisfy Constraints. In 2nd International Conference on Computational Sustainability, Cambridge, MA, June 2010. (Poster)
    Details     BibTeX     Download: [pdf] (1.5MB )  

Booth, K. S.

  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using a Multi-touch Tabletop to Create and Compare Sustainable Neighbourhood Patterns. In 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, CPAIOR, , June 2010.
    Details     BibTeX     Download: (unavailable)
  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using Multi-touch Tabletops to Create and Compare Neighbourhood Designs that Satisfy Constraints. In 2nd International Conference on Computational Sustainability, Cambridge, MA, June 2010. (Poster)
    Details     BibTeX     Download: [pdf] (1.5MB )  

Kellett, R.

  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using a Multi-touch Tabletop to Create and Compare Sustainable Neighbourhood Patterns. In 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, CPAIOR, , June 2010.
    Details     BibTeX     Download: (unavailable)
  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using Multi-touch Tabletops to Create and Compare Neighbourhood Designs that Satisfy Constraints. In 2nd International Conference on Computational Sustainability, Cambridge, MA, June 2010. (Poster)
    Details     BibTeX     Download: [pdf] (1.5MB )  

Girling, C.

  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using a Multi-touch Tabletop to Create and Compare Sustainable Neighbourhood Patterns. In 2nd International Workshop on Constraint Reasoning and Optimization for Computational Sustainability, CPAIOR, , June 2010.
    Details     BibTeX     Download: (unavailable)
  • J. Fernquist, K. S. Booth, Alan K. Mackworth, R. Kellett, and C. Girling. Using Multi-touch Tabletops to Create and Compare Neighbourhood Designs that Satisfy Constraints. In 2nd International Conference on Computational Sustainability, Cambridge, MA, June 2010. (Poster)
    Details     BibTeX     Download: [pdf] (1.5MB )  

Leyton-Brown, K.

Crowley, M.

Zawadski, E.

Thompson, D.


Generated by bib2html.pl (written by Patrick Riley ) on Mon Dec 20, 2010 13:33:17

 

 

 
 

Copyright @ 2011 Pooyan Fazli - Last Updated January 2011