2162 search results - page 38 / 433 » Automated Reasoning on Feature Models |
104
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
144
Voted
EWCBR
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we propose an approach to address the old problem of identifying the feature conditions under which a gaming strategy can be effective. For doing this, we will build ...
124
click to vote
IFIP
1997
Springer
15 years 7 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
114
Voted
DLOG
2003
15 years 4 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
125
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents DLV+ a Disjunctive Logic Programming system with object-oriented constructs, including classes, objects, (multiple) inheritance, and types. DLV+ is built on top ...