William S. Havens

Publication Activity (10 Years)

Years Active: 1977-2013
Publications (10 Years): 0

Top Topics

Temporal Constraints

Arc Consistency

Constraint Reasoning

Top Venues

Publications

Michael C. Horsch, William S. Havens
Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning CoRR (2013)
Andrei Missine, William S. Havens
Probabilistic Nogood Store as a Heuristic. PRICAI (2008)
Kun Wu, William S. Havens
Modelling an Academic Curriculum Plan as a Mixed-Initiative Constraint Satisfaction Problem. Canadian Conference on AI (2005)
Y. Xiang, J. Chen, William S. Havens
Optimal design in collaborative design network. AAMAS (2005)
Ronnie Mueller, William S. Havens
Queuing Local Solutions in Distributed Constraint Satisfaction Systems. Canadian Conference on AI (2005)
Bistra Dilkina, Lei Duan, William S. Havens
Extending Systematic Local Search for Job Shop Scheduling Problems. CP (2005)
Wei Liu, William S. Havens
Histogram Arc Consistency as a Value Ordering Heuristic. Canadian Conference on AI (2004)
Morten Irgens, William S. Havens
On Selection Strategies for the DPLL Algorithm. Canadian Conference on AI (2004)
Bistra N. Dilkina, William S. Havens
The U.S. National Football League Scheduling Problem. AAAI (2004)
William S. Havens, Bistra N. Dilkina
A Hybrid Schema for Systematic Local Search. Canadian Conference on AI (2004)
Michael C. Horsch, William S. Havens, Aditya Ghose
Generalized Arc Consistency with Application to MaxCSP. Canadian Conference on AI (2002)
Michael C. Horsch, William S. Havens
An Empirical Study of Probabilistic Arc Consistency. CP (2000)
Michael C. Horsch, William S. Havens
Probabilistic Arc Consistency: A Connection between Constraint Reasoning and Probabilistic Reasoning. UAI (2000)
William S. Havens, Randy Goebel, Jean Berger, René Proulx
A Constraint Optimization Framework for MultiAgent Anytime Scheduling. Australian Joint Conference on Artificial Intelligence (1999)
Matt Vernooy, William S. Havens
An Examination of Probabilistic Value-Ordering Heuristics. Australian Joint Conference on Artificial Intelligence (1999)
William S. Havens
NoGood Caching for MultiAgent Backtrack Search. AAAI Workshop: Constraints & Agents (1997)
William S. Havens
Extending Dynamic Backtracking for Distributed Constraint Satisfaction Problems. Australian Joint Conference on Artificial Intelligence (1997)
Daya Ram Gaur, W. Ken Jackson, William S. Havens
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure. AAAI/IAAI (1997)
Greg Sidebottom, William S. Havens
Nicolog: A Simple Yet Powerful cc(FD) Language. J. Autom. Reason. 17 (3) (1996)
W. Ken Jackson, William S. Havens
Committing to User Choices in Mixed Initiative CSPs. SCAI (1995)
William S. Havens, Daya Ram Gaur, Russell Ovans
An Architecture for Building Multi-Agent Systems. SCAI (1995)
Sang Mah, Thomas W. Calvert, William S. Havens
NSAIL PLAN: an experience with constraint-based reasoning in planning and animation. CA (1994)
Sang Mah, Thomas W. Calvert, William S. Havens
A Constraint-Based Reasoning Framework for Behavioural Animation. Comput. Graph. Forum 13 (5) (1994)
Russell Ovans, William S. Havens
Intelligent mediation: an architecture for the real-time allocation of interface resources. IUI (1993)
Greg Sidebottom, William S. Havens
Hierarchical Arc Consistency for Disjoint Real Intervals in Constraint Logic Programming. Comput. Intell. 8 (1992)
William S. Havens
The Playtypus Expert System Shell. KBCS (1989)
William S. Havens, Paul Stephen Rehfuss
Platypus: A Constraint-Based Reasoning System. IJCAI (1989)
Jan A. Mulder, Alan K. Mackworth, William S. Havens
Knowledge Structuring and Constraint Satisfaction: The Mapsee Approach. IEEE Trans. Pattern Anal. Mach. Intell. 10 (6) (1988)
William S. Havens, Alan K. Mackworth
Representing Knowledge of the Visual World. Computer 16 (10) (1983)
Alan K. Mackworth, William S. Havens
Structuring Domain Knowledge For Visual Perception. IJCAI (1981)
William S. Havens
A Procedural Model of Recognition. IJCAI (1977)