Partition-Based Logical Reasoning +,
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems +,
A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets +,
…
Booktitle
KASE: An Integrated Environment for Software Design +,
Causal Approximations +,
A Declarative Formalization of Knowledge Translation +,
…
Institution
| Knowledge Systems, AI Laboratory | |
