This paper provides a logical analysis of the problem of version space maintenance which highlights fundamental differences between version spaces of boolean concepts and version spaces for structural descriptions. It then employs the theory of NP-completeness in a heuristic manner to isolate a variety of respects in which the standard version space maintenance procedure is intractable in the c...

We demonstrate how order-theoretic abstractions can be useful in identifying , formalizing, and exploiting relationships between seemingly dissimilar AI algorithms that perform computations on partially-ordered sets. In particular, we show how the order-theoretic concept of an anti-chain can be used to provide an eecient representation for such sets when they satisfy certain special properties....

The ability to transform between distinct geometric representations is the key to success of multiple-representation modeling systems. But the existing theory of geometric mod-eling does not directly address or support construction, conversion, and comparison of geometric representations. A study of classical problems of CSG $ b-rep conversions, CSG optimization, and other representation conver...

Recent years have seen the emergence of the World Wide Web as a significant resource that is increasingly relied upon for both the dissemination and gathering of information. However, information on a specific topic is often distributed across independent web pages stored at different geographical locations that are updated and restructured on an ongoing basis. Therefore, users with an interest...