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

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

Classified by Publication Type

Authored BookRefereed JournalBook ChapterEdited BookRefereed Conference ProceedingUnrefereed JournalUnrefereed Conference ProceedingTech ReportMagazine Article


Authored Book

Refereed Journal

Book Chapter

  • 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: [pdf] (1012.6kB )  
  • Alan K. Mackworth. Foreword to Constraint Processing by Rina Dechter. In Constraint Processing, pp. v–vii, Morgan Kaufmann, 2003.
    Details     BibTeX     Download: (unavailable)
  • 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. 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: [pdf] (80.3kB )  
  • 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: [pdf] (316.1kB )  
  • 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)
  • Alan K. Mackworth. The Logic of Constraint Satisfaction. In E. C. Freuder and Alan K. Mackworth, editors, Constraint-Based Reasoning, pp. 3–20, MIT Press, Cambridge, MA, 1994.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Book review of Computation and Cognition: Toward a Foundation for Cognitive Science by Z. W. Pylyshyn. In W. J. Clancey, S. W. Smoliar and M. J. Stefir, editors, Contemplating Minds, A Forum for Artificial Intelligence, pp. 14–15, MIT Press, Cambridge, MA, 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: [pdf] (754.3kB )  
  • 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 )  
  • 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: [pdf] (229.3kB )  
  • 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: [pdf] (518.3kB )  
  • 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: [pdf] (1.0MB )  
  • 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)
  • 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: [pdf] (6.1MB )  
  • Alan K. Mackworth. Adequacy Criteria for Visual Knowledge Representation. In Z. Pylyshyn, editors, Computational Processes in Human Vision, pp. 462–474, Ablex Publishers, Norwood, NJ, March 1988.
    Details     BibTeX     Download: [pdf] (835.6kB )  
  • 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. Constraint Satisfaction. In S. Shapiro, editors, Encyclopedia of Artificial Intelligence, pp. 205–211, J. Wiley and Sons, NY, March 1987.
    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: [pdf] (957.9kB )  
  • 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: [pdf] (678.6kB )  
  • Alan K. Mackworth. How to See a Simple World: An Exegesis of Some Computer Programs for Scene Analysis. In E. W. Elcock, and D. Michie, editors, Machine Intelligence, pp. 510–537, Wiley, Stanford, CA, March 1977.
    Details     BibTeX     Download: [pdf] (1.6MB )  

Edited Book

  • E. C. Freuder and Alan K. Mackworth, editors. Constraint-Based Reasoning, MIT Press, Stanford, CA, March 1994.
    Details     BibTeX     Download: (unavailable)
  • R. Dechter, M. Mittal, A. Borning, M. Fox, E. Freuder, J. Jaffar, Alan Mackworth, and J. Pearl, editors. Proceedings of the 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)
  • 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)

Refereed Conference Proceeding

Unrefereed Journal

Unrefereed Conference Proceeding

  • Alan K. Mackworth, R. J. Woodham, D. G. Lowe, and J. J. Little. Building Vision Systems for Recognition, Tracking and Navigation. In Proceedings of the First Annual IRIS-PRECARN Conference, Vancouver, BC, June 1991. (abstract only)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Depiction Theory and Mental Representations. In Proceedings of the Workshop on Mental Models, Cambridge, MA, March 1990. (abstract only)
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Constraint Satisfaction Problems and Knowledge Representation. In Proceedings of the IJCAI-89 Workshop on Constraint Satisfaction Problems, Detroit, MI, August 1989. (abstract only)
    Details     BibTeX     Download: [pdf] (94.3kB )  
  • 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)

Tech Report

  • L. Chang and Alan K. Mackworth. Local Consistency in Junction Graphs for Constraint-Based Inference. Technical ReportDepartment of Computer Science, University of British Columbia, 2006.
    Details     BibTeX     Download: [pdf] (85.4kB )  
  • 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 ReportDepartment of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (259.3kB )  
  • L. Chang and Alan K. Mackworth. Generalized Constraint-Based Inference. Technical ReportDepartment 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 ReportDepartment of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (155.6kB )  
  • R. St-Aubin and Alan K. Mackworth. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. Technical ReportDepartment of Computer Science, University of British Columbia, 2005.
    Details     BibTeX     Download: [pdf] (297.1kB )  
  • R. St-Aubin and Alan K. Mackworth. Probabilistic Constraint Nets: Constraint-Based Approach to Modeling and Verification of Hybrid Systems with Uncertainty. Technical ReportDepartment of Computer Science, University of British Columbia, 2004.
    Details     BibTeX     Download: [pdf] (553.1kB )  
  • Y. Zhang and Alan K. Mackworth. Constraint Nets: A Unitary Model for Hybrid Concurrent Systems. Technical Report , Department of Computer Science, University of British Columbia, 1994.
    Details     BibTeX     Download: [pdf] (836.0kB )  
  • Y. Zhang and Alan Mackworth. Design and Analysis of Embedded Real-Time Systems: An Elevator Case Study. Technical ReportDepartment 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 ReportDepartment 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 ReportDepartment of Computer Science, University of British Columbia, 1992.
    Details     BibTeX     Download: [pdf] (229.0kB )  
  • Alan K. Mackworth. The Logic of Constraint Satisfaction. Technical ReportDepartment of Computer Science, University of British Columbia, 1991.
    Details     BibTeX     Download: (unavailable)
  • Y. Zhang and Alan K. Mackworth. Parallel and Distributed Algorithms for Constraint Networks. Technical ReportDepartment of Computer Science, University of British Columbia, 1991.
    Details     BibTeX     Download: [pdf] (218.6kB )  
  • J. de Kleer, Alan K. Mackworth, and R. Reiter. Characterizing Diagnoses and Systems. Technical ReportDepartment of Computer Science, University of British Columbia, 1990.
    Details     BibTeX     Download: (unavailable)
  • Alan K. Mackworth. Update on Computational Vision: Shape Representation, Object Recognition and Constraint Satisfaction. Technical ReportDepartment of Computer Science, University of British Columbia, 1987.
    Details     BibTeX     Download: (unavailable)
  • R. Reiter and Alan K. Mackworth. The Logic of Depiction. Technical ReportDepartment of Computer Science, University of British Columbia, 1987.
    Details     BibTeX     Download: (unavailable)
  • W. S. Havens, Alan K. Mackworth, and R. J. Woodham. The Laboratory for Computational Vision. Technical Report , Department of Computer Science, University of British Columbia, 1983.
    Details     BibTeX     Download: [pdf] (2.0MB )  
  • 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)

Magazine Article


Generated by bib2html.pl (written by Patrick Riley ) on Wed Apr 23, 2014 19:08:35

 

 
 

Copyright @ 2013 Pooyan Fazli