BibTeX records: Alan K. Mackworth

download as .bib file

@article{DBLP:journals/natmi/FalcoSBCDDEGGHJ21,
  author       = {Gregory Falco and
                  Ben Shneiderman and
                  Julia Badger and
                  Ryan Carrier and
                  Anton Dahbura and
                  David Danks and
                  Martin Eling and
                  Alwyn Goodloe and
                  Jerry Gupta and
                  Christopher Hart and
                  Marina Jirotka and
                  Henric Johnson and
                  Cara Lapointe and
                  Ashley J. Llorens and
                  Alan K. Mackworth and
                  Carsten Maple and
                  Sigur{\dh}ur Emil P{\'{a}}lsson and
                  Frank Pasquale and
                  Alan F. T. Winfield and
                  Zee Kin Yeong},
  title        = {Governing {AI} safety through independent audits},
  journal      = {Nat. Mach. Intell.},
  volume       = {3},
  number       = {7},
  pages        = {566--571},
  year         = {2021},
  url          = {https://doi.org/10.1038/s42256-021-00370-7},
  doi          = {10.1038/S42256-021-00370-7},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/natmi/FalcoSBCDDEGGHJ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhouKLYZMP20,
  author       = {Chenliang Zhou and
                  Dominic Kuang and
                  Jingru Liu and
                  Hanbo Yang and
                  Zijia Zhang and
                  Alan K. Mackworth and
                  David L. Poole},
  title        = {AISpace2: An Interactive Visualization Tool for Learning and Teaching
                  Artificial Intelligence},
  booktitle    = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                  February 7-12, 2020},
  pages        = {13436--13443},
  publisher    = {{AAAI} Press},
  year         = {2020},
  url          = {https://doi.org/10.1609/aaai.v34i09.7068},
  doi          = {10.1609/AAAI.V34I09.7068},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ZhouKLYZMP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartcomp/BakkerKLMNR20,
  author       = {Karen Bakker and
                  Rosemary Knight and
                  Jim Leape and
                  Alan K. Mackworth and
                  Raymond Ng and
                  Max Ritts},
  title        = {Digital Technologies and Dynamic Resource Management},
  booktitle    = {{IEEE} International Conference on Smart Computing, {SMARTCOMP} 2020,
                  Bologna, Italy, September 14-17, 2020},
  pages        = {368--373},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SMARTCOMP50058.2020.00079},
  doi          = {10.1109/SMARTCOMP50058.2020.00079},
  timestamp    = {Mon, 30 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smartcomp/BakkerKLMNR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arobots/ViswanathanZFGW17,
  author       = {Pooja Viswanathan and
                  Ellen P. Zambalde and
                  Genevi{\`{e}}ve Foley and
                  Julianne L. Graham and
                  Rosalie Wang and
                  Bikram Adhikari and
                  Alan K. Mackworth and
                  Alex Mihailidis and
                  William C. Miller and
                  Ian M. Mitchell},
  title        = {Intelligent wheelchair control strategies for older adults with cognitive
                  impairment: user attitudes, needs, and preferences},
  journal      = {Auton. Robots},
  volume       = {41},
  number       = {3},
  pages        = {539--554},
  year         = {2017},
  url          = {https://doi.org/10.1007/s10514-016-9568-y},
  doi          = {10.1007/S10514-016-9568-Y},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/arobots/ViswanathanZFGW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/MitchellVARM14,
  author       = {Ian M. Mitchell and
                  Pooja Viswanathan and
                  Bikram Adhikari and
                  Eric Rothfels and
                  Alan K. Mackworth},
  title        = {Shared control policies for safe wheelchair navigation of elderly
                  adults with cognitive and mobility impairments: Designing a wizard
                  of oz study},
  booktitle    = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
                  2014},
  pages        = {4087--4094},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ACC.2014.6859446},
  doi          = {10.1109/ACC.2014.6859446},
  timestamp    = {Sun, 08 Aug 2021 01:40:57 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/MitchellVARM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arobots/FazliDM13,
  author       = {Pooyan Fazli and
                  Alireza Davoodi and
                  Alan K. Mackworth},
  title        = {Multi-robot repeated area coverage},
  journal      = {Auton. Robots},
  volume       = {34},
  number       = {4},
  pages        = {251--276},
  year         = {2013},
  url          = {https://doi.org/10.1007/s10514-012-9319-7},
  doi          = {10.1007/S10514-012-9319-7},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/arobots/FazliDM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KhalvatiM13,
  author       = {Koosha Khalvati and
                  Alan K. Mackworth},
  editor       = {Marie desJardins and
                  Michael L. Littman},
  title        = {A Fast Pairwise Heuristic for Planning under Uncertainty},
  booktitle    = {Proceedings of the Twenty-Seventh {AAAI} Conference on Artificial
                  Intelligence, July 14-18, 2013, Bellevue, Washington, {USA}},
  pages        = {503--509},
  publisher    = {{AAAI} Press},
  year         = {2013},
  url          = {https://doi.org/10.1609/aaai.v27i1.8672},
  doi          = {10.1609/AAAI.V27I1.8672},
  timestamp    = {Mon, 04 Sep 2023 15:56:33 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KhalvatiM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/ViswanathanLMM12,
  author       = {Pooja Viswanathan and
                  James J. Little and
                  Alan K. Mackworth and
                  Alex Mihailidis},
  title        = {An Intelligent Powered Wheelchair for Users with Dementia: Case Studies
                  with {NOAH} (Navigation and Obstacle Avoidance Help)},
  booktitle    = {Artificial Intelligence for Gerontechnology, Papers from the 2012
                  {AAAI} Fall Symposium, Arlington, Virginia, USA, November 2-4, 2012},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-12-01}},
  publisher    = {{AAAI}},
  year         = {2012},
  url          = {http://www.aaai.org/ocs/index.php/FSS/FSS12/paper/view/5618},
  timestamp    = {Tue, 08 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaifs/ViswanathanLMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crv/FazliDM12,
  author       = {Pooyan Fazli and
                  Alireza Davoodi and
                  Alan K. Mackworth},
  title        = {Multi-Robot Repeated Area Coverage: Performance Optimization Under
                  Various Visual Ranges},
  booktitle    = {Ninth Conference on Computer and Robot Vision, {CRV} 2012, Toronto,
                  Ontario, Canada, May 28-30, 2012},
  pages        = {298--305},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/CRV.2012.46},
  doi          = {10.1109/CRV.2012.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/crv/FazliDM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/KhalvatiM12,
  author       = {Koosha Khalvati and
                  Alan K. Mackworth},
  title        = {Active robot localization with macro actions},
  booktitle    = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
                  2012},
  pages        = {187--193},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/IROS.2012.6386016},
  doi          = {10.1109/IROS.2012.6386016},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/KhalvatiM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/Mackworth12,
  author       = {Alan K. Mackworth},
  title        = {The dynamo project: The world's first robot soccer players},
  booktitle    = {2012 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, {IROS} 2012, Vilamoura, Algarve, Portugal, October 7-12,
                  2012},
  pages        = {5442--5443},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/IROS.2012.6386298},
  doi          = {10.1109/IROS.2012.6386298},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/Mackworth12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robio/FazliM12,
  author       = {Pooyan Fazli and
                  Alan K. Mackworth},
  title        = {Multi-robot repeated boundary coverage under uncertainty},
  booktitle    = {2012 {IEEE} International Conference on Robotics and Biomimetics,
                  {ROBIO} 2012, Guangzhou, China, December 11-14, 2012},
  pages        = {2167--2174},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ROBIO.2012.6491290},
  doi          = {10.1109/ROBIO.2012.6491290},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/robio/FazliM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssrr/FazliM12,
  author       = {Pooyan Fazli and
                  Alan K. Mackworth},
  title        = {The effects of communication and visual range on multi-robot repeated
                  boundary coverage},
  booktitle    = {{IEEE} International Symposium on Safety, Security, and Rescue Robotics,
                  {SSRR} 2012, College Station, TX, USA, November 5-8, 2012},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/SSRR.2012.6523872},
  doi          = {10.1109/SSRR.2012.6523872},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ssrr/FazliM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/ViswanathanLMM11,
  author       = {Pooja Viswanathan and
                  James J. Little and
                  Alan K. Mackworth and
                  Alex Mihailidis},
  editor       = {Kathleen F. McCoy and
                  Yeliz Yesilada},
  title        = {Navigation and obstacle avoidance help {(NOAH)} for older adults with
                  cognitive impairment: a pilot study},
  booktitle    = {The 13th International {ACM} {SIGACCESS} Conference on Computers and
                  Accessibility, {ASSETS} '11, Dundee, Scotland, UK, October 24-26,
                  2011},
  pages        = {43--50},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2049536.2049546},
  doi          = {10.1145/2049536.2049546},
  timestamp    = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl       = {https://dblp.org/rec/conf/assets/ViswanathanLMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crv/ViswanathanSLM11,
  author       = {Pooja Viswanathan and
                  Tristram Southey and
                  James J. Little and
                  Alan K. Mackworth},
  title        = {Place Classification Using Visual Object Categorization and Global
                  Information},
  booktitle    = {Canadian Conference on Computer and Robot Vision, {CRV} 2011, St Johns,
                  Newfoundland, Canada, May 25-27, 2011},
  pages        = {1--7},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/CRV.2011.8},
  doi          = {10.1109/CRV.2011.8},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/crv/ViswanathanSLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0024693,
  author       = {David Poole and
                  Alan K. Mackworth},
  title        = {Artificial Intelligence - Foundations of Computational Agents},
  publisher    = {Cambridge University Press},
  year         = {2010},
  url          = {http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521519007},
  isbn         = {978-0-521-51900-7},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0024693.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/SilvaM10,
  author       = {Bruno Norberto da Silva and
                  Alan K. Mackworth},
  editor       = {Wiebe van der Hoek and
                  Gal A. Kaminka and
                  Yves Lesp{\'{e}}rance and
                  Michael Luck and
                  Sandip Sen},
  title        = {Using spatial hints to improve policy reuse in a reinforcement learning
                  agent},
  booktitle    = {9th International Conference on Autonomous Agents and Multiagent Systems
                  {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  pages        = {317--324},
  publisher    = {{IFAAMAS}},
  year         = {2010},
  url          = {https://dl.acm.org/citation.cfm?id=1838251},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/SilvaM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/FazliDPM10,
  author       = {Pooyan Fazli and
                  Alireza Davoodi and
                  Philippe Pasquier and
                  Alan K. Mackworth},
  editor       = {Wiebe van der Hoek and
                  Gal A. Kaminka and
                  Yves Lesp{\'{e}}rance and
                  Michael Luck and
                  Sandip Sen},
  title        = {Multi-robot area coverage with limited visibility},
  booktitle    = {9th International Conference on Autonomous Agents and Multiagent Systems
                  {(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
  pages        = {1501--1502},
  publisher    = {{IFAAMAS}},
  year         = {2010},
  url          = {https://dl.acm.org/citation.cfm?id=1838451},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/FazliDPM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crv/ViswanathanSLM10,
  author       = {Pooja Viswanathan and
                  Tristram Southey and
                  James J. Little and
                  Alan K. Mackworth},
  title        = {Automated Place Classification Using Object Detection},
  booktitle    = {Canadian Conference on Computer and Robot Vision, {CRV} 2010, Ottawa,
                  Ontario, Canada, May 31 - June 2, 2010},
  pages        = {324--330},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/CRV.2010.49},
  doi          = {10.1109/CRV.2010.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/crv/ViswanathanSLM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/FazliDPM10,
  author       = {Pooyan Fazli and
                  Alireza Davoodi and
                  Philippe Pasquier and
                  Alan K. Mackworth},
  title        = {Complete and robust cooperative robot area coverage with limited range},
  booktitle    = {2010 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, October 18-22, 2010, Taipei, Taiwan},
  pages        = {5577--5582},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/IROS.2010.5651321},
  doi          = {10.1109/IROS.2010.5651321},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/FazliDPM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Mackworth09,
  author       = {Alan K. Mackworth},
  title        = {Agents, Bodies, Constraints, Dynamics, and Evolution},
  journal      = {{AI} Mag.},
  volume       = {30},
  number       = {1},
  pages        = {7--28},
  year         = {2009},
  url          = {https://doi.org/10.1609/aimag.v30i1.2174},
  doi          = {10.1609/AIMAG.V30I1.2174},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Mackworth09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/Mackworth09,
  author       = {Alan K. Mackworth},
  editor       = {Yong Gao and
                  Nathalie Japkowicz},
  title        = {Living with Constraints},
  booktitle    = {Advances in Artificial Intelligence, 22nd Canadian Conference on Artificial
                  Intelligence, Canadian {AI} 2009, Kelowna, Canada, May 25-27, 2009,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5549},
  pages        = {2},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-01818-3\_2},
  doi          = {10.1007/978-3-642-01818-3\_2},
  timestamp    = {Thu, 28 Sep 2023 12:27:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/Mackworth09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/crv/ViswanathanMSLM09,
  author       = {Pooja Viswanathan and
                  David Meger and
                  Tristram Southey and
                  James J. Little and
                  Alan K. Mackworth},
  title        = {Automated Spatial-Semantic Modeling with Applications to Place Labeling
                  and Informed Search},
  booktitle    = {Sixth Canadian Conference on Computer and Robot Vision, {CRV} 2009,
                  Kelowna, British Columbia, Canada, May 25-27, 2009},
  pages        = {284--291},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/CRV.2009.49},
  doi          = {10.1109/CRV.2009.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/crv/ViswanathanMSLM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-2656,
  author       = {Scott Helmer and
                  David Meger and
                  Pooja Viswanathan and
                  Sancho McCann and
                  Matthew Dockrey and
                  Pooyan Fazli and
                  Tristram Southey and
                  Marius Muja and
                  Michael Joya and
                  Jim Little and
                  David G. Lowe and
                  Alan K. Mackworth},
  title        = {Semantic Robot Vision Challenge: Current State and Future Directions},
  journal      = {CoRR},
  volume       = {abs/0908.2656},
  year         = {2009},
  url          = {http://arxiv.org/abs/0908.2656},
  eprinttype    = {arXiv},
  eprint       = {0908.2656},
  timestamp    = {Thu, 23 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0908-2656.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0908-2661,
  author       = {Pooyan Fazli and
                  Alan K. Mackworth},
  title        = {Human-Robot Teams in Entertainment and Other Everyday Scenarios},
  journal      = {CoRR},
  volume       = {abs/0908.2661},
  year         = {2009},
  url          = {http://arxiv.org/abs/0908.2661},
  eprinttype    = {arXiv},
  eprint       = {0908.2661},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0908-2661.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/AmershiCCMP08,
  author       = {Saleema Amershi and
                  Giuseppe Carenini and
                  Cristina Conati and
                  Alan K. Mackworth and
                  David Poole},
  title        = {Pedagogy and usability in interactive algorithm visualizations: Designing
                  and evaluating CIspace},
  journal      = {Interact. Comput.},
  volume       = {20},
  number       = {1},
  pages        = {64--96},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.intcom.2007.08.003},
  doi          = {10.1016/J.INTCOM.2007.08.003},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iwc/AmershiCCMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/ViswanathanMLHM08,
  author       = {Pooja Viswanathan and
                  Alan K. Mackworth and
                  James Little and
                  Jesse Hoey and
                  Alex Mihailidis},
  title        = {{NOAH} for Wheelchair Users with Cognitive Impairment: Navigation
                  and Obstacle Avoidance Help},
  booktitle    = {{AI} in Eldercare: New Solutions to Old Problems, Papers from the
                  2008 {AAAI} Fall Symposium, Arlington, Virginia, USA, November 7-9,
                  2008},
  series       = {{AAAI} Technical Report},
  volume       = {{FS-08-02}},
  pages        = {150--152},
  publisher    = {{AAAI}},
  year         = {2008},
  url          = {http://www.aaai.org/Library/Symposia/Fall/2008/fs08-02-024.php},
  timestamp    = {Thu, 23 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaifs/ViswanathanMLHM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Mackworth07,
  author       = {Alan K. Mackworth},
  title        = {Editorial: {AAAI} Is Now the Association for the Advancement of Artificial
                  Intelligence},
  journal      = {{AI} Mag.},
  volume       = {28},
  number       = {1},
  pages        = {1--3},
  year         = {2007},
  url          = {https://doi.org/10.1609/aimag.v28i1.2024},
  doi          = {10.1609/AIMAG.V28I1.2024},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Mackworth07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/YangM07,
  author       = {Suling Yang and
                  Alan K. Mackworth},
  editor       = {Ziad Kobti and
                  Dan Wu},
  title        = {Hierarchical Shortest Pathfinding Applied to Route-Planning for Wheelchair
                  Users},
  booktitle    = {Advances in Artificial Intelligence, 20th Conference of the Canadian
                  Society for Computational Studies of Intelligence, Canadian {AI} 2007,
                  Montreal, Canada, May 28-30, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4509},
  pages        = {539--550},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-72665-4\_46},
  doi          = {10.1007/978-3-540-72665-4\_46},
  timestamp    = {Thu, 28 Sep 2023 12:27:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/YangM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Mackworth06,
  author       = {Alan K. Mackworth},
  title        = {AI@50: We Are Golden!},
  journal      = {{AI} Mag.},
  volume       = {27},
  number       = {4},
  pages        = {17--18},
  year         = {2006},
  url          = {https://doi.org/10.1609/aimag.v27i4.1906},
  doi          = {10.1609/AIMAG.V27I4.1906},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Mackworth06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/St-AubinFM06,
  author       = {Robert St{-}Aubin and
                  Joel Friedman and
                  Alan K. Mackworth},
  title        = {A formal mathematical framework for modeling probabilistic hybrid
                  systems},
  journal      = {Ann. Math. Artif. Intell.},
  volume       = {47},
  number       = {3-4},
  pages        = {397--425},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10472-006-9035-0},
  doi          = {10.1007/S10472-006-9035-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/amai/St-AubinFM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Mackworth06,
  author       = {Alan K. Mackworth},
  title        = {A Tribute to Eugene Freuder},
  journal      = {Constraints An Int. J.},
  volume       = {11},
  number       = {2-3},
  pages        = {85--86},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10601-006-8056-y},
  doi          = {10.1007/S10601-006-8056-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/Mackworth06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChangM06,
  author       = {Le Chang and
                  Alan K. Mackworth},
  title        = {Local Consistency in Junction Graphs for Constraint-Based Inference},
  booktitle    = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
                  and the Eighteenth Innovative Applications of Artificial Intelligence
                  Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
  pages        = {1861--1862},
  publisher    = {{AAAI} Press},
  year         = {2006},
  url          = {http://www.aaai.org/Library/AAAI/2006/aaai06-309.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/ChangM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/St-AubinFM06,
  author       = {Robert St{-}Aubin and
                  Joel Friedman and
                  Alan K. Mackworth},
  title        = {A Formal Mathematical Framework for Modeling Probabilistic Hybrid
                  Systems},
  booktitle    = {International Symposium on Artificial Intelligence and Mathematics,
                  AI{\&}Math 2006, Fort Lauderdale, Florida, USA, January 4-6, 2006},
  year         = {2006},
  url          = {http://anytime.cs.umass.edu/aimath06/proceedings/P48.pdf},
  timestamp    = {Tue, 08 Feb 2022 09:27:30 +0100},
  biburl       = {https://dblp.org/rec/conf/isaim/St-AubinFM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/FreuderM06,
  author       = {Eugene C. Freuder and
                  Alan K. Mackworth},
  editor       = {Francesca Rossi and
                  Peter van Beek and
                  Toby Walsh},
  title        = {Constraint Satisfaction: An Emerging Paradigm},
  booktitle    = {Handbook of Constraint Programming},
  series       = {Foundations of Artificial Intelligence},
  volume       = {2},
  pages        = {13--27},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/S1574-6526(06)80006-4},
  doi          = {10.1016/S1574-6526(06)80006-4},
  timestamp    = {Tue, 23 Jan 2024 13:25:47 +0100},
  biburl       = {https://dblp.org/rec/reference/fai/FreuderM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Mackworth05,
  author       = {Alan K. Mackworth},
  title        = {The Coevolution of {AI} and {AAAI}},
  journal      = {{AI} Mag.},
  volume       = {26},
  number       = {4},
  pages        = {51--52},
  year         = {2005},
  url          = {https://doi.org/10.1609/aimag.v26i4.1847},
  doi          = {10.1609/AIMAG.V26I4.1847},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/Mackworth05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChangM05,
  author       = {Le Chang and
                  Alan K. Mackworth},
  editor       = {Peter van Beek},
  title        = {Constraint-Based Inference: {A} Bridge Between Constraint Processing
                  and Probability Inference},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2005, 11th
                  International Conference, {CP} 2005, Sitges, Spain, October 1-5, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3709},
  pages        = {844},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11564751\_82},
  doi          = {10.1007/11564751\_82},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/ChangM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/AmershiACCMMP05,
  author       = {Saleema Amershi and
                  N. Arksey and
                  Giuseppe Carenini and
                  Cristina Conati and
                  Alan K. Mackworth and
                  Heather Maclaren and
                  David Poole},
  editor       = {Jos{\'{e}} C. Cunha and
                  William M. Fleischman and
                  Viera K. Proulx and
                  Jo{\~{a}}o Louren{\c{c}}o},
  title        = {Designing CIspace: pedagogy and usability in a learning environment
                  for {AI}},
  booktitle    = {Proceedings of the 10th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal,
                  June 27-29, 2005},
  pages        = {178--182},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1067445.1067495},
  doi          = {10.1145/1067445.1067495},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/AmershiACCMMP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/Muyan-OzcelikM04,
  author       = {Pinar Muyan{-}{\"{O}}z{\c{c}}elik and
                  Alan K. Mackworth},
  title        = {Situated robot design with prioritized constraints},
  booktitle    = {2004 {IEEE/RSJ} International Conference on Intelligent Robots and
                  Systems, Sendai, Japan, September 28 - October 2, 2004},
  pages        = {1807--1814},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/IROS.2004.1389659},
  doi          = {10.1109/IROS.2004.1389659},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/Muyan-OzcelikM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/ShahMMRO03,
  author       = {Sohrab P. Shah and
                  Graham P. McVicker and
                  Alan K. Mackworth and
                  Sanja Rogic and
                  B. F. Francis Ouellette},
  title        = {GeneComber: Combining Outputs of Gene Prediction Programs for Improved
                  Results},
  journal      = {Bioinform.},
  volume       = {19},
  number       = {10},
  pages        = {1296--1297},
  year         = {2003},
  url          = {https://doi.org/10.1093/bioinformatics/btg139},
  doi          = {10.1093/BIOINFORMATICS/BTG139},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/ShahMMRO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MackworthZ03,
  author       = {Alan K. Mackworth and
                  Ying Zhang},
  title        = {A Formal Approach to Agent Design: An Overview of Constraint-Based
                  Agents},
  journal      = {Constraints An Int. J.},
  volume       = {8},
  number       = {3},
  pages        = {229--242},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025697810124},
  doi          = {10.1023/A:1025697810124},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/MackworthZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RogicOM02,
  author       = {Sanja Rogic and
                  B. F. Francis Ouellette and
                  Alan K. Mackworth},
  title        = {Improving gene recognition accuracy by combining predictions from
                  two gene-finding programs},
  journal      = {Bioinform.},
  volume       = {18},
  number       = {8},
  pages        = {1034--1045},
  year         = {2002},
  url          = {https://doi.org/10.1093/bioinformatics/18.8.1034},
  doi          = {10.1093/BIOINFORMATICS/18.8.1034},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/bioinformatics/RogicOM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ZhangM02,
  author       = {Yu Zhang and
                  Alan K. Mackworth},
  title        = {A Constraint-Based Robotic Soccer Team},
  journal      = {Constraints An Int. J.},
  volume       = {7},
  number       = {1},
  pages        = {7--28},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1017936325308},
  doi          = {10.1023/A:1017936325308},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/ZhangM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ai/Mackworth02,
  author       = {Alan K. Mackworth},
  editor       = {Robin Cohen and
                  Bruce Spencer},
  title        = {Recycling the Cycle of Perception: {A} Polemic},
  booktitle    = {Advances in Artificial Intelligence, 15th Conference of the Canadian
                  Society for Computational Studies of Intelligence, {AI} 2002, Calgary,
                  Canada, May 27-29, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2338},
  pages        = {102--103},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-47922-8\_9},
  doi          = {10.1007/3-540-47922-8\_9},
  timestamp    = {Thu, 28 Sep 2023 12:27:05 +0200},
  biburl       = {https://dblp.org/rec/conf/ai/Mackworth02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/MontgomeryM02,
  author       = {Jefferson D. Montgomery and
                  Alan K. Mackworth},
  editor       = {Gal A. Kaminka and
                  Pedro U. Lima and
                  Ra{\'{u}}l Rojas},
  title        = {Adaptive Synchronisation for a RoboCup Agent},
  booktitle    = {RoboCup 2002: Robot Soccer World Cup {VI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2752},
  pages        = {135--149},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-45135-8\_11},
  doi          = {10.1007/978-3-540-45135-8\_11},
  timestamp    = {Mon, 23 Nov 2020 14:36:01 +0100},
  biburl       = {https://dblp.org/rec/conf/robocup/MontgomeryM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Mackworth00,
  author       = {Alan K. Mackworth},
  editor       = {Rina Dechter},
  title        = {Constraint-Based Agents: The ABC's of CBA's},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2000, 6th
                  International Conference, Singapore, September 18-21, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1894},
  pages        = {1--10},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45349-0\_1},
  doi          = {10.1007/3-540-45349-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Mackworth00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0091702,
  author       = {David Poole and
                  Alan K. Mackworth and
                  Randy Goebel},
  title        = {Computational intelligence - a logical approach},
  publisher    = {Oxford University Press},
  year         = {1998},
  isbn         = {978-0-19-510270-3},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0091702.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/ZhangM98,
  author       = {Yu Zhang and
                  Alan K. Mackworth},
  title        = {A constraint-based controller for soccer-playing robots},
  booktitle    = {Proceedings 1998 {IEEE/RSJ} International Conference on Intelligent
                  Robots and Systems. Innovations in Theory, Practice and Applications,
                  October 13-17, 1998, Victoria, BC, Canada},
  pages        = {1290--1295},
  publisher    = {{IEEE}},
  year         = {1998},
  url          = {https://doi.org/10.1109/IROS.1998.727477},
  doi          = {10.1109/IROS.1998.727477},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iros/ZhangM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/ZhangM98,
  author       = {Yu Zhang and
                  Alan K. Mackworth},
  editor       = {Minoru Asada and
                  Hiroaki Kitano},
  title        = {A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer
                  Team},
  booktitle    = {RoboCup-98: Robot Soccer World Cup {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1604},
  pages        = {402--409},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-48422-1\_37},
  doi          = {10.1007/3-540-48422-1\_37},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/robocup/ZhangM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Mackworth97,
  author       = {Alan K. Mackworth},
  title        = {Constraint-Based Design of Embedded Intelligent Systems},
  journal      = {Constraints An Int. J.},
  volume       = {2},
  number       = {1},
  pages        = {83--86},
  year         = {1997},
  url          = {https://doi.org/10.1023/A:1009705224515},
  doi          = {10.1023/A:1009705224515},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/Mackworth97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/TucakovSMMLKJB97,
  author       = {Vladimir Tucakov and
                  Michael Sahota and
                  Don Ray Murray and
                  Alan K. Mackworth and
                  Jim Little and
                  Stewart Kingdon and
                  Cullen Jennings and
                  Rod Barman},
  title        = {Spinoza: {A} Stereoscopic Visually Guided Mobile Robot},
  booktitle    = {30th Annual Hawaii International Conference on System Sciences (HICSS-30),
                  7-10 January 1997, Maui, Hawaii, {USA}},
  pages        = {188--197},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/HICSS.1997.663174},
  doi          = {10.1109/HICSS.1997.663174},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/TucakovSMMLKJB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/MulliganM97,
  author       = {Jane Mulligan and
                  Alan K. Mackworth},
  title        = {Experimental task analysis},
  booktitle    = {Proceedings of the 1997 {IEEE} International Conference on Robotics
                  and Automation, Albuquerque, New Mexico, USA, April 20-25, 1997},
  pages        = {3348--3353},
  publisher    = {{IEEE}},
  year         = {1997},
  url          = {https://doi.org/10.1109/ROBOT.1997.606799},
  doi          = {10.1109/ROBOT.1997.606799},
  timestamp    = {Fri, 13 Aug 2021 09:26:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/MulliganM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/robocup/ZhangM97,
  author       = {Yu Zhang and
                  Alan K. Mackworth},
  editor       = {Hiroaki Kitano},
  title        = {Using Reactive Deliberation for Real-Time Control of Soccer-Playing
                  Robots},
  booktitle    = {RoboCup-97: Robot Soccer World Cup {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1395},
  pages        = {508--512},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-64473-3\_89},
  doi          = {10.1007/3-540-64473-3\_89},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/robocup/ZhangM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Mackworth96,
  author       = {Alan K. Mackworth},
  title        = {Constraint-Based Design of Embedded Intelligent Systems},
  journal      = {{ACM} Comput. Surv.},
  volume       = {28},
  number       = {4es},
  pages        = {67},
  year         = {1996},
  url          = {https://doi.org/10.1145/242224.242309},
  doi          = {10.1145/242224.242309},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Mackworth96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icip/Mackworth96,
  author       = {Alan K. Mackworth},
  title        = {Quick and clean: constraint-based vision for situated robots},
  booktitle    = {Proceedings 1996 International Conference on Image Processing, Lausanne,
                  Switzerland, September 16-19, 1996},
  pages        = {789--792},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://doi.org/10.1109/ICIP.1996.561023},
  doi          = {10.1109/ICIP.1996.561023},
  timestamp    = {Fri, 13 Aug 2021 09:26:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icip/Mackworth96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhangM95,
  author       = {Ying Zhang and
                  Alan K. Mackworth},
  title        = {Constraint Nets: {A} Semantic Model for Hybrid Dynamic Systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {138},
  number       = {1},
  pages        = {211--239},
  year         = {1995},
  url          = {https://doi.org/10.1016/0304-3975(94)00149-D},
  doi          = {10.1016/0304-3975(94)00149-D},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/ZhangM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhangM95,
  author       = {Ying Zhang and
                  Alan K. Mackworth},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger and
                  Eduardo D. Sontag},
  title        = {Specification and Verification of Hybrid Dynamic Systems with Timed
                  forall-Automata},
  booktitle    = {Hybrid Systems {III:} Verification and Control, Proceedings of the
                  {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
                  October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1066},
  pages        = {587--603},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020978},
  doi          = {10.1007/BFB0020978},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ZhangM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ZhangM94,
  author       = {Ying Zhang and
                  Alan K. Mackworth},
  editor       = {Panos J. Antsaklis and
                  Wolf Kohn and
                  Anil Nerode and
                  Shankar Sastry},
  title        = {Synthesis of Hybrid Constraint-Based Controllers},
  booktitle    = {Hybrid Systems II, Proceedings of the Third International Workshop
                  on Hybrid Systems, Ithaca, NY, USA, October 1994},
  series       = {Lecture Notes in Computer Science},
  volume       = {999},
  pages        = {552--567},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60472-3\_28},
  doi          = {10.1007/3-540-60472-3\_28},
  timestamp    = {Fri, 29 Apr 2022 09:17:30 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/ZhangM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/ZhangM94,
  author       = {Ying Zhang and
                  Alan K. Mackworth},
  editor       = {Alan Borning},
  title        = {Specification and Verification of Constraint-Based Dynamic Systems},
  booktitle    = {Principles and Practice of Constraint Programming, Second International
                  Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
                  1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {874},
  pages        = {229--242},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58601-6\_104},
  doi          = {10.1007/3-540-58601-6\_104},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/ZhangM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MackworthF93,
  author       = {Alan K. Mackworth and
                  Eugene C. Freuder},
  title        = {The Complexity of Constraint Satisfaction Revisited},
  journal      = {Artif. Intell.},
  volume       = {59},
  number       = {1-2},
  pages        = {57--62},
  year         = {1993},
  url          = {https://doi.org/10.1016/0004-3702(93)90170-G},
  doi          = {10.1016/0004-3702(93)90170-G},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MackworthF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/ZhangM93,
  author       = {Ying Zhang and
                  Alan K. Mackworth},
  title        = {Constraint Programming in Constraint Nets},
  booktitle    = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
                  Rhode Island},
  pages        = {293--302},
  year         = {1993},
  timestamp    = {Fri, 09 Aug 2019 11:23:42 +0200},
  biburl       = {https://dblp.org/rec/conf/ppcp/ZhangM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/ws/93/Mackworth93,
  author       = {Alan K. Mackworth},
  editor       = {Anup Basu and
                  Xiaobo Li},
  title        = {On Seeing Robots},
  booktitle    = {Computer Vision: Systems, Theory and Applications},
  series       = {World Scientific Series in Computer Science},
  volume       = {38},
  pages        = {1--13},
  publisher    = {World Scientific},
  year         = {1993},
  url          = {https://doi.org/10.1142/9789814343312\_0001},
  doi          = {10.1142/9789814343312\_0001},
  timestamp    = {Wed, 04 Nov 2020 08:42:49 +0100},
  biburl       = {https://dblp.org/rec/books/ws/93/Mackworth93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KleerMR92,
  author       = {Johan de Kleer and
                  Alan K. Mackworth and
                  Raymond Reiter},
  title        = {Characterizing Diagnoses and Systems},
  journal      = {Artif. Intell.},
  volume       = {56},
  number       = {2-3},
  pages        = {197--222},
  year         = {1992},
  url          = {https://doi.org/10.1016/0004-3702(92)90027-U},
  doi          = {10.1016/0004-3702(92)90027-U},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/KleerMR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Mackworth92,
  author       = {Alan K. Mackworth},
  title        = {The Logic of Constraint Satisfaction},
  journal      = {Artif. Intell.},
  volume       = {58},
  number       = {1-3},
  pages        = {3--20},
  year         = {1992},
  url          = {https://doi.org/10.1016/0004-3702(92)90003-G},
  doi          = {10.1016/0004-3702(92)90003-G},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Mackworth92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/MokhtarianM92,
  author       = {Farzin Mokhtarian and
                  Alan K. Mackworth},
  title        = {A Theory of Multiscale, Curvature-Based Shape Representation for Planar
                  Curves},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {14},
  number       = {8},
  pages        = {789--805},
  year         = {1992},
  url          = {https://doi.org/10.1109/34.149591},
  doi          = {10.1109/34.149591},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pami/MokhtarianM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/ZhangM91,
  author       = {Ying Zhang and
                  Alan K. Mackworth},
  title        = {Parallel and distributed algorithms for finite constraint satisfaction
                  problems},
  booktitle    = {Proceedings of the Third {IEEE} Symposium on Parallel and Distributed
                  Processing, {SPDP} 1991, 2-5 December 1991, Dallas, Texas, {USA}},
  pages        = {394--397},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/SPDP.1991.218214},
  doi          = {10.1109/SPDP.1991.218214},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spdp/ZhangM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KleerMR90,
  author       = {Johan de Kleer and
                  Alan K. Mackworth and
                  Raymond Reiter},
  editor       = {Howard E. Shrobe and
                  Thomas G. Dietterich and
                  William R. Swartout},
  title        = {Characterizing Diagnoses},
  booktitle    = {Proceedings of the 8th National Conference on Artificial Intelligence.
                  Boston, Massachusetts, USA, July 29 - August 3, 1990, 2 Volumes},
  pages        = {324--330},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {1990},
  url          = {http://www.aaai.org/Library/AAAI/1990/aaai90-050.php},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/KleerMR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ese/KleerMR90,
  author       = {Johan de Kleer and
                  Alan K. Mackworth and
                  Raymond Reiter},
  editor       = {Georg Gottlob and
                  Wolfgang Nejdl},
  title        = {Characterizing Diagnoses},
  booktitle    = {Expert Systems in Engineering, Principles and Applications, International
                  Workshop, Vienna, Austria, September 24-26, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {462},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/3-540-53104-1\_27},
  doi          = {10.1007/3-540-53104-1\_27},
  timestamp    = {Sat, 09 Apr 2022 12:45:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ese/KleerMR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Mackworth89,
  author       = {Alan K. Mackworth},
  title        = {Z. W. Pylyshyn, Computation and Cognition: Toward a Foundation of
                  Cognitive Science},
  journal      = {Artif. Intell.},
  volume       = {38},
  number       = {2},
  pages        = {239--240},
  year         = {1989},
  url          = {https://doi.org/10.1016/0004-3702(89)90060-X},
  doi          = {10.1016/0004-3702(89)90060-X},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Mackworth89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ReiterM89,
  author       = {Raymond Reiter and
                  Alan K. Mackworth},
  title        = {A Logical Framework for Depiction and Image Interpretation},
  journal      = {Artif. Intell.},
  volume       = {41},
  number       = {2},
  pages        = {125--155},
  year         = {1989},
  url          = {https://doi.org/10.1016/0004-3702(89)90008-8},
  doi          = {10.1016/0004-3702(89)90008-8},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/ReiterM89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/MulderMH88,
  author       = {Jan A. Mulder and
                  Alan K. Mackworth and
                  William S. Havens},
  title        = {Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {10},
  number       = {6},
  pages        = {866--879},
  year         = {1988},
  url          = {https://doi.org/10.1109/34.9108},
  doi          = {10.1109/34.9108},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/MulderMH88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/MackworthM88,
  author       = {Alan K. Mackworth and
                  Farzin Mokhtarian},
  title        = {The renormalized curvature scale space and the evolution properties
                  of planar curves},
  booktitle    = {{IEEE} Computer Society Conference on Computer Vision and Pattern
                  Recognition, {CVPR} 1988, 5-9 June, 1988, Ann Arbor, Michigan, {USA}},
  pages        = {318--326},
  publisher    = {{IEEE}},
  year         = {1988},
  url          = {https://doi.org/10.1109/CVPR.1988.196255},
  doi          = {10.1109/CVPR.1988.196255},
  timestamp    = {Wed, 16 Oct 2019 14:14:50 +0200},
  biburl       = {https://dblp.org/rec/conf/cvpr/MackworthM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/MokhtarianM86,
  author       = {Farzin Mokhtarian and
                  Alan K. Mackworth},
  title        = {Scale-Based Description and Recognition of Planar Curves and Two-Dimensional
                  Shapes},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {8},
  number       = {1},
  pages        = {34--43},
  year         = {1986},
  url          = {https://doi.org/10.1109/TPAMI.1986.4767750},
  doi          = {10.1109/TPAMI.1986.4767750},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/MokhtarianM86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pami/MokhtarianM86a,
  author       = {Farzin Mokhtarian and
                  Alan K. Mackworth},
  title        = {Authors' Reply},
  journal      = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
  volume       = {8},
  number       = {5},
  pages        = {675},
  year         = {1986},
  url          = {https://doi.org/10.1109/TPAMI.1986.4767842},
  doi          = {10.1109/TPAMI.1986.4767842},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pami/MokhtarianM86a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MackworthF85,
  author       = {Alan K. Mackworth and
                  Eugene C. Freuder},
  title        = {The Complexity of Some Polynomial Network Consistency Algorithms for
                  Constraint Satisfaction Problems},
  journal      = {Artif. Intell.},
  volume       = {25},
  number       = {1},
  pages        = {65--74},
  year         = {1985},
  url          = {https://doi.org/10.1016/0004-3702(85)90041-4},
  doi          = {10.1016/0004-3702(85)90041-4},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/MackworthF85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/HavensM83,
  author       = {William S. Havens and
                  Alan K. Mackworth},
  title        = {Representing Knowledge of the Visual World},
  journal      = {Computer},
  volume       = {16},
  number       = {10},
  pages        = {90--96},
  year         = {1983},
  url          = {https://doi.org/10.1109/MC.1983.1654203},
  doi          = {10.1109/MC.1983.1654203},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/HavensM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mackworth83,
  author       = {Alan K. Mackworth},
  editor       = {Alan Bundy},
  title        = {On Seeing Things, Again},
  booktitle    = {Proceedings of the 8th International Joint Conference on Artificial
                  Intelligence. Karlsruhe, FRG, August 1983},
  pages        = {1187--1191},
  publisher    = {William Kaufmann},
  year         = {1983},
  timestamp    = {Tue, 20 Aug 2019 16:18:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Mackworth83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MackworthH81,
  author       = {Alan K. Mackworth and
                  William S. Havens},
  editor       = {Patrick J. Hayes},
  title        = {Structuring Domain Knowledge For Visual Perception},
  booktitle    = {Proceedings of the 7th International Joint Conference on Artificial
                  Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
  pages        = {625--627},
  publisher    = {William Kaufmann},
  year         = {1981},
  timestamp    = {Tue, 20 Aug 2019 16:16:26 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/MackworthH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Mackworth77,
  author       = {Alan K. Mackworth},
  title        = {Consistency in Networks of Relations},
  journal      = {Artif. Intell.},
  volume       = {8},
  number       = {1},
  pages        = {99--118},
  year         = {1977},
  url          = {https://doi.org/10.1016/0004-3702(77)90007-8},
  doi          = {10.1016/0004-3702(77)90007-8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Mackworth77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mackworth77,
  author       = {Alan K. Mackworth},
  editor       = {Raj Reddy},
  title        = {On Reading Sketch Maps},
  booktitle    = {Proceedings of the 5th International Joint Conference on Artificial
                  Intelligence. Cambridge, MA, USA, August 22-25, 1977},
  pages        = {598--606},
  publisher    = {William Kaufmann},
  year         = {1977},
  url          = {http://ijcai.org/Proceedings/77-2/Papers/006.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Mackworth77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Mackworth73,
  author       = {Alan K. Mackworth},
  title        = {Interpreting Pictures of Polyhedral Scenes},
  journal      = {Artif. Intell.},
  volume       = {4},
  number       = {2},
  pages        = {121--137},
  year         = {1973},
  url          = {https://doi.org/10.1016/0004-3702(73)90003-9},
  doi          = {10.1016/0004-3702(73)90003-9},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ai/Mackworth73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Mackworth73,
  author       = {Alan K. Mackworth},
  editor       = {Nils J. Nilsson},
  title        = {Interpreting Pictures of Polyhedral Scenes},
  booktitle    = {Proceedings of the 3rd International Joint Conference on Artificial
                  Intelligence. Standford, CA, USA, August 20-23, 1973},
  pages        = {556--563},
  publisher    = {William Kaufmann},
  year         = {1973},
  url          = {http://ijcai.org/Proceedings/73/Papers/059.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:17:01 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/Mackworth73.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics