11842903
Iterative Versionspaces
1487291
Acquiring object-knowledge
Abstract A novel approach to interactively acquire knowledge about new objects in a logic environment is presented. When the user supplies an unknown fact containing unknown objects (constants), the system will ask interesting membership and existential queries about the objects. The answers to these questions allow the system to update its knowledge base. Two basic strategies are implemented: one that examines existing Horn clauses for the predicate and another one that uses types. Furthermore, a powerful heuristic based on analogy, to pose the most interesting questions first, is presented.
2884276
Towards Friendly Concept-Learners
We give a general overview of CUNT, a userfriendly interactive concept-learner, which can be used as a module for Learning Apprentice Systems. CLINT combines several interesting features: it uses domain-knowledge, generates examples, copes with indirect relevance, shifts its bias, recovers from errors and identifies concepts in the limit.
1020303
Experiences with Enumeration of Integer Projections of Parametric Polytopes
Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enumerator of a parametric polytope) is a function of the symbolic parameters that may appear in the constraints. In an extended problem (the “integer projection” of a parametric polytope), some of the variables that appear in the constraints may be existentially quantified and then the enumerated set corresponds to the projection of the integer points in a parametric polytope. 
 
This paper shows how to reduce the enumeration of the integer projection of parametric polytopes to the enumeration of parametric polytopes. Two approaches are described and experimentally compared. Both can solve problems that were considered very difficult to solve analytically.