2162 search results - page 251 / 433 » Automated Reasoning on Feature Models |
124
click to vote
LICS
1998
IEEE
15 years 9 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
138
Voted
CSL
1998
Springer
15 years 9 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
139
Voted
GIS
1998
ACM
15 years 9 months ago
1998
ACM
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
144
Voted
KR
1992
Springer
15 years 9 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
123
Voted
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...