On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems +,
Partition-Based Logical Reasoning +,
Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems +,
…
Booktitle
KASE: An Integrated Environment for Software Design +,
Registry-Based Support for Information Integration +,
IWTrust: Improving User Trust in Answers from the Web +,
…
Institution
| Knowledge Systems, AI Laboratory | |
