Alan K. Mackworth

Alireza Davoodi

Auton. Robots, 2013

A Fast Pairwise Heuristic for Planning under Uncertainty.

[BibT_eX]

[DOI]

Koosha Khalvati

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

The effects of communication and visual range on multi-robot repeated boundary coverage.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Safety, Security, and Rescue Robotics, 2012

Multi-robot repeated boundary coverage under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Robotics and Biomimetics, 2012

The dynamo project: The world's first robot soccer players.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Active robot localization with macro actions.

[BibT_eX]

[DOI]

Koosha Khalvati

Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Multi-Robot Repeated Area Coverage: Performance Optimization Under Various Visual Ranges.

[BibT_eX]

[DOI]

Alireza Davoodi

Proceedings of the Ninth Conference on Computer and Robot Vision, 2012

An Intelligent Powered Wheelchair for Users with Dementia: Case Studies with NOAH (Navigation and Obstacle Avoidance Help).

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence for Gerontechnology, 2012

2011

Place Classification Using Visual Object Categorization and Global Information.

[BibT_eX]

[DOI]

Proceedings of the Canadian Conference on Computer and Robot Vision, 2011

Navigation and obstacle avoidance help (NOAH) for older adults with cognitive impairment: a pilot study.

[BibT_eX]

[DOI]

Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility, 2011

2010

Complete and robust cooperative robot area coverage with limited range.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Automated Place Classification Using Object Detection.

[BibT_eX]

[DOI]

Proceedings of the Canadian Conference on Computer and Robot Vision, 2010

Using spatial hints to improve policy reuse in a reinforcement learning agent.

[BibT_eX]

[DOI]

Bruno Norberto da Silva

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Multi-robot area coverage with limited visibility.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Artificial Intelligence - Foundations of Computational Agents.

[BibT_eX]

[DOI]

David Poole

Cambridge University Press, ISBN: 978-0-521-51900-7, 2010

2009

Human-Robot Teams in Entertainment and Other Everyday Scenarios

[BibT_eX]

[DOI]

CoRR, 2009

Semantic Robot Vision Challenge: Current State and Future Directions

[BibT_eX]

[DOI]

CoRR, 2009

Agents, Bodies, Constraints, Dynamics, and Evolution.

[BibT_eX]

[DOI]

AI Mag., 2009

Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search.

[BibT_eX]

[DOI]

Proceedings of the Sixth Canadian Conference on Computer and Robot Vision, 2009

Living with Constraints.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2009

2008

Pedagogy and usability in interactive algorithm visualizations: Designing and evaluating CIspace.

[BibT_eX]

[DOI]

Interact. Comput., 2008

NOAH for Wheelchair Users with Cognitive Impairment: Navigation and Obstacle Avoidance Help.

[BibT_eX]

[DOI]

Proceedings of the AI in Eldercare: New Solutions to Old Problems, 2008

2007

Editorial: AAAI Is Now the Association for the Advancement of Artificial Intelligence.

[BibT_eX]

[DOI]

AI Mag., 2007

Hierarchical Shortest Pathfinding Applied to Route-Planning for Wheelchair Users.

[BibT_eX]

[DOI]

Suling Yang

Proceedings of the Advances in Artificial Intelligence, 2007

2006

Constraint Satisfaction: An Emerging Paradigm.

[BibT_eX]

[DOI]

Eugene C. Freuder

Proceedings of the Handbook of Constraint Programming, 2006

A Tribute to Eugene Freuder.

[BibT_eX]

[DOI]

Constraints An Int. J., 2006

A formal mathematical framework for modeling probabilistic hybrid systems.

[BibT_eX]

[DOI]

Robert St-Aubin

Joel Friedman

Ann. Math. Artif. Intell., 2006

AI@50: We Are Golden!

[BibT_eX]

[DOI]

AI Mag., 2006

Local Consistency in Junction Graphs for Constraint-Based Inference.

[BibT_eX]

[DOI]

Le Chang

Proceedings of the Proceedings, 2006

2005

The Coevolution of AI and AAAI.

[BibT_eX]

[DOI]

AI Mag., 2005

Designing CIspace: pedagogy and usability in a learning environment for AI.

[BibT_eX]

[DOI]

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.

[BibT_eX]

[DOI]

Le Chang

Proceedings of the Principles and Practice of Constraint Programming, 2005

2004

Situated robot design with prioritized constraints.

[BibT_eX]

[DOI]

Pinar Muyan-Özçelik

Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

2003

A Formal Approach to Agent Design: An Overview of Constraint-Based Agents.

[BibT_eX]

[DOI]

Constraints An Int. J., 2003

GeneComber: Combining Outputs of Gene Prediction Programs for Improved Results.

[BibT_eX]

[DOI]

B. F. Francis Ouellette

Bioinform., 2003

2002

A Constraint-Based Robotic Soccer Team.

[BibT_eX]

[DOI]

Constraints An Int. J., 2002

Improving gene recognition accuracy by combining predictions from two gene-finding programs.

[BibT_eX]

[DOI]

Sanja Rogic

B. F. Francis Ouellette

Bioinform., 2002

Adaptive Synchronisation for a RoboCup Agent.

[BibT_eX]

[DOI]

Jefferson D. Montgomery

Proceedings of the RoboCup 2002: Robot Soccer World Cup VI, 2002

Recycling the Cycle of Perception: A Polemic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2002

2000

Constraint-Based Agents: The ABC's of CBA's.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

1998

A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team.

[BibT_eX]

[DOI]

Proceedings of the RoboCup-98: Robot Soccer World Cup II, 1998

A constraint-based controller for soccer-playing robots.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, 1998

Computational intelligence - a logical approach.

[BibT_eX]

David Poole

Randy Goebel

Oxford University Press, ISBN: 978-0-19-510270-3, 1998

1997

Using Reactive Deliberation for Real-Time Control of Soccer-Playing Robots.

[BibT_eX]

[DOI]

Proceedings of the RoboCup-97: Robot Soccer World Cup I, 1997

Experimental task analysis.

[BibT_eX]

[DOI]

Jane Mulligan

Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

Spinoza: A Stereoscopic Visually Guided Mobile Robot.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Constraint-Based Design of Embedded Intelligent Systems.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Quick and clean: constraint-based vision for situated robots.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1996 International Conference on Image Processing, 1996

1995

Constraint Nets: A Semantic Model for Hybrid Dynamic Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

1994

Specification and Verification of Constraint-Based Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1994

Synthesis of Hybrid Constraint-Based Controllers.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems II, 1994

1993

The Complexity of Constraint Satisfaction Revisited.

[BibT_eX]

[DOI]

Eugene C. Freuder

Artif. Intell., 1993

Constraint Programming in Constraint Nets.

[BibT_eX]

Proceedings of the Principles and Practice of Constraint Programming, 1993

On Seeing Robots.

[BibT_eX]

[DOI]

Proceedings of the Computer Vision: Systems, Theory and Applications, 1993

1992

A Theory of Multiscale, Curvature-Based Shape Representation for Planar Curves.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 1992

The Logic of Constraint Satisfaction.

[BibT_eX]

[DOI]

Artif. Intell., 1992

Characterizing Diagnoses and Systems.

[BibT_eX]

[DOI]

Johan de Kleer

Raymond Reiter

Artif. Intell., 1992

1991

Parallel and distributed algorithms for finite constraint satisfaction problems.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

1990

Characterizing Diagnoses.

[BibT_eX]

[DOI]

Johan de Kleer

Raymond Reiter

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

A Logical Framework for Depiction and Image Interpretation.

[BibT_eX]

[DOI]

Raymond Reiter

Artif. Intell., 1989

Z. W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science.

[BibT_eX]

[DOI]

Artif. Intell., 1989

1988

Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach.

[BibT_eX]

[DOI]

Jan A. Mulder

William S. Havens

IEEE Trans. Pattern Anal. Mach. Intell., 1988

The renormalized curvature scale space and the evolution properties of planar curves.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1988

1986

Authors' Reply.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 1986

Scale-Based Description and Recognition of Planar Curves and Two-Dimensional Shapes.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., 1986

1985

The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Eugene C. Freuder

Artif. Intell., 1985

1983

Representing Knowledge of the Visual World.

[BibT_eX]

[DOI]

William S. Havens

Computer, 1983

On Seeing Things, Again.

[BibT_eX]

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981

Structuring Domain Knowledge For Visual Perception.

[BibT_eX]

William S. Havens

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1977

Consistency in Networks of Relations.

[BibT_eX]

[DOI]

Artif. Intell., 1977

On Reading Sketch Maps.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1973

Interpreting Pictures of Polyhedral Scenes.

[BibT_eX]

[DOI]