| 2008 |
|---|
| 42 | EE | Saleema Amershi,
Giuseppe Carenini,
Cristina Conati,
Alan K. Mackworth,
David Poole:
Pedagogy and usability in interactive algorithm visualizations: Designing and evaluating CIspace.
Interacting with Computers 20(1): 64-96 (2008) |
| 2007 |
|---|
| 41 | EE | Suling Yang,
Alan K. Mackworth:
Hierarchical Shortest Pathfinding Applied to Route-Planning for Wheelchair Users.
Canadian Conference on AI 2007: 539-550 |
| 2006 |
|---|
| 40 | | Le Chang,
Alan K. Mackworth:
Local Consistency in Junction Graphs for Constraint-Based Inference.
AAAI 2006 |
| 39 | EE | Robert St-Aubin,
Joel Friedman,
Alan K. Mackworth:
A formal mathematical framework for modeling probabilistic hybrid systems.
Ann. Math. Artif. Intell. 47(3-4): 397-425 (2006) |
| 38 | EE | Alan K. Mackworth:
A Tribute to Eugene Freuder.
Constraints 11(2-3): 85-86 (2006) |
| 2005 |
|---|
| 37 | EE | Le Chang,
Alan K. Mackworth:
Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.
CP 2005: 844 |
| 36 | EE | Saleema Amershi,
N. Arksey,
Giuseppe Carenini,
Cristina Conati,
Alan K. Mackworth,
Heather Maclaren,
David Poole:
Designing CIspace: pedagogy and usability in a learning environment for AI.
ITiCSE 2005: 178-182 |
| 35 | | Alan K. Mackworth:
The Coevolution of AI and AAAI.
AI Magazine 26(4): 51-52 (2005) |
| 2003 |
|---|
| 34 | | Sohrab P. Shah,
Graham P. McVicker,
Alan K. Mackworth,
Sanja Rogic,
B. F. Francis Ouellette:
GeneComber: Combining Outputs of Gene Prediction Programs for Improved Results.
Bioinformatics 19(10): 1296-1297 (2003) |
| 33 | EE | Alan K. Mackworth,
Ying Zhang:
A Formal Approach to Agent Design: An Overview of Constraint-Based Agents.
Constraints 8(3): 229-242 (2003) |
| 2002 |
|---|
| 32 | EE | Alan K. Mackworth:
Recycling the Cycle of Perception: A Polemic.
Canadian Conference on AI 2002: 102-103 |
| 31 | EE | Jefferson D. Montgomery,
Alan K. Mackworth:
Adaptive Synchronisation for a RoboCup Agent.
RoboCup 2002: 135-149 |
| 30 | | Sanja Rogic,
B. F. Francis Ouellette,
Alan K. Mackworth:
Improving gene recognition accuracy by combining predictions from two gene-finding programs.
Bioinformatics 18(8): 1034-1045 (2002) |
| 29 | | Yu Zhang,
Alan K. Mackworth:
A Constraint-Based Robotic Soccer Team.
Constraints 7(1): 7-28 (2002) |
| 2000 |
|---|
| 28 | EE | Alan K. Mackworth:
Constraint-Based Agents: The ABC's of CBA's.
CP 2000: 1-10 |
| 1998 |
|---|
| 27 | EE | Yu Zhang,
Alan K. Mackworth:
A Multi-Level Constraint-Based Controller for the Dynamo98 Robot Soccer Team.
RoboCup 1998: 402-409 |
| 1997 |
|---|
| 26 | EE | Vladimir Tucakov,
Michael Sahota,
Don Murray,
Alan K. Mackworth,
James J. Little,
Stewart Kingdon,
Cullen Jennings,
Rod Barman:
Spinoza: A Stereoscopic Visually Guided Mobile Robot.
HICSS (5) 1997: 188-197 |
| 25 | | Yu Zhang,
Alan K. Mackworth:
Using Reactive Deliberation for Real-Time Control of Soccer-Playing Robots.
RoboCup 1997: 508-512 |
| 24 | | Alan K. Mackworth:
Constraint-Based Design of Embedded Intelligent Systems.
Constraints 2(1): 83-86 (1997) |
| 1996 |
|---|
| 23 | | Alan K. Mackworth:
Constraint-Based Design of Embedded Intelligent Systems.
ACM Comput. Surv. 28(4es): 67 (1996) |
| 1995 |
|---|
| 22 | | Ying Zhang,
Alan K. Mackworth:
Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata.
Hybrid Systems 1995: 587-603 |
| 21 | EE | Ying Zhang,
Alan K. Mackworth:
Constraint Nets: A Semantic Model for Hybrid Dynamic Systems.
Theor. Comput. Sci. 138(1): 211-239 (1995) |
| 1994 |
|---|
| 20 | | Ying Zhang,
Alan K. Mackworth:
Synthesis of Hybrid Constraint-Based Controllers.
Hybrid Systems 1994: 552-567 |
| 19 | | Ying Zhang,
Alan K. Mackworth:
Specification and Verification of Constraint-Based Dynamic Systems.
PPCP 1994: 229-242 |
| 1993 |
|---|
| 18 | | Ying Zhang,
Alan K. Mackworth:
Constraint Programming in Constraint Nets.
PPCP 1993: 293-302 |
| 17 | | Alan K. Mackworth,
Eugene C. Freuder:
The Complexity of Constraint Satisfaction Revisited.
Artif. Intell. 59(1-2): 57-62 (1993) |
| 1992 |
|---|
| 16 | | Johan de Kleer,
Alan K. Mackworth,
Raymond Reiter:
Characterizing Diagnoses and Systems.
Artif. Intell. 56(2-3): 197-222 (1992) |
| 15 | | Alan K. Mackworth:
The Logic of Constraint Satisfaction.
Artif. Intell. 58(1-3): 3-20 (1992) |
| 14 | EE | Farzin Mokhtarian,
Alan K. Mackworth:
A Theory of Multiscale, Curvature-Based Shape Representation for Planar Curves.
IEEE Trans. Pattern Anal. Mach. Intell. 14(8): 789-805 (1992) |
| 1990 |
|---|
| 13 | | Johan de Kleer,
Alan K. Mackworth,
Raymond Reiter:
Characterizing Diagnoses.
AAAI 1990: 324-330 |
| 12 | | Johan de Kleer,
Alan K. Mackworth,
Raymond Reiter:
Characterizing Diagnoses.
Expert Systems in Engineering 1990: 1-15 |
| 1989 |
|---|
| 11 | | Alan K. Mackworth:
Z. W. Pylyshyn, Computation and Cognition: Toward a Foundation of Cognitive Science.
Artif. Intell. 38(2): 239-240 (1989) |
| 10 | | Raymond Reiter,
Alan K. Mackworth:
A Logical Framework for Depiction and Image Interpretation.
Artif. Intell. 41(2): 125-155 (1989) |
| 1988 |
|---|
| 9 | EE | 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): 866-879 (1988) |
| 1985 |
|---|
| 8 | | Alan K. Mackworth,
Eugene C. Freuder:
The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems.
Artif. Intell. 25(1): 65-74 (1985) |
| 1983 |
|---|
| 7 | | Alan K. Mackworth:
On Seeing Things, Again.
IJCAI 1983: 1187-1191 |
| 6 | | William S. Havens,
Alan K. Mackworth:
Representing Knowledge of the Visual World.
IEEE Computer 16(10): 90-96 (1983) |
| 1981 |
|---|
| 5 | | Alan K. Mackworth,
William S. Havens:
Structuring Domain Knowledge For Visual Perception.
IJCAI 1981: 625-627 |
| 1977 |
|---|
| 4 | | Alan K. Mackworth:
On Reading Sketch Maps.
IJCAI 1977: 598-606 |
| 3 | | Alan K. Mackworth:
Consistency in Networks of Relations.
Artif. Intell. 8(1): 99-118 (1977) |
| 1973 |
|---|
| 2 | | Alan K. Mackworth:
Interpreting Pictures of Polyhedral Scenes.
IJCAI 1973: 556-563 |
| 1 | | Alan K. Mackworth:
Interpreting Pictures of Polyhedral Scenes.
Artif. Intell. 4(2): 121-137 (1973) |
