2162 search results - page 133 / 433 » Automated Reasoning on Feature Models |
DLOG
2008
15 years 6 months ago
2008
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
113
click to vote
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
We present an approach to visualize textual case bases by "stacking" similar cases and features close to each other in an image derived from the casefeature matrix. We pr...
126
click to vote
GIS
2002
ACM
15 years 3 months ago
2002
ACM
The cartographic labeling problem is the problem of placing text on a map. This includes the positioning of the labels, and determining the shape in the case of line and area feat...
107
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
136
click to vote
RR
2010
Springer
15 years 2 months ago
2010
Springer
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination on RDF graphs in the presence of rules (in the form of Datalog r...