Search Sciweavers | Sciweavers

2162 search results - page 16 / 433

» Automated Reasoning on Feature Models

114

click to vote

DLOG
2007

149views Automated Reasoning» more DLOG 2007»

Description Logic vs. Order-Sorted Feature Logic

15 years 2 months ago

Download sunsite.informatik.rwth-aachen.de

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...

Hassan Aït-Kaci

claim paper

Read More »

click to vote

FDL
2005
IEEE

94views Natural Language Processing» more FDL 2005»

Using feature models to automate model transformations

15 years 5 months ago

Download lsmwww.epfl.ch

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...

Johan Lilius, Dragos Truscan

claim paper

Read More »

110

click to vote

JAR
2006

103views more JAR 2006»

A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures

14 years 11 months ago

Download www.ccs.neu.edu

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...

Panagiotis Manolios, Sudarshan K. Srinivasan

claim paper

Read More »

176

click to vote

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 10 days ago