2162 search results - page 16 / 433 » Automated Reasoning on Feature Models |
204
click to vote
DLOG
2007
15 years 9 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
280
Voted
FDL
2005
IEEE
16 years 29 days ago
2005
IEEE
This paper presents work in progress to explore the possibility of combining model-driven and domain modeling techniques to facilitate support for reuse and automation. The approa...
222
click to vote
JAR
2006
15 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
289
Voted
ICLP
2009
Springer
16 years 8 months ago
2009
Springer
