Skip to main content
eScholarship
Open Access Publications from the University of California

Cognitive Constraint Modeling: A Formal Approach to Supporting Reasoning About Behavior