2162 search results - page 39 / 433 » Automated Reasoning on Feature Models |
162
Voted
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
144
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
97
Voted
ICCBR
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents a new approach for spatial event prediction that combines a value function approximation algorithm and case-based reasoning predictors. Each of these predictors...
94
Voted
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
139
Voted
DLOG
2003
15 years 4 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...