DERI Stanford
Publications
"Logical Spreadsheets" - 2005
"Computational Law" - 2005
"Objected-Oriented Constraint Satisfaction"
(for Utility Computing) - 2005
"Adding AI to Web Services" - 2003
"Service Agents and Virtual Enterprises," - 2003
"Infomaster: An Information Integration System"- 1997
Stanford Logic Group Technology used at CommerceNet and in CommerceOne for Data Integration