2162 search results - page 27 / 433 » Automated Reasoning on Feature Models |
CADE
2007
Springer
16 years 2 days ago
2007
Springer
109
click to vote
LICS
2010
IEEE
14 years 9 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
TIME
2002
IEEE
15 years 4 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...
DLOG
2007
15 years 2 months ago
2007
We present an new Prot´eg´e plugin for constructing a minimal satisfiability model of an OWL ontology and visualizing it in the original music score notation.
GIS
2008
ACM
14 years 11 months ago
2008
ACM