2162 search results - page 302 / 433 » Automated Reasoning on Feature Models |
142
click to vote
ILP
2004
Springer
16 years 4 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
182
click to vote
LPNMR
2004
Springer
16 years 4 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
175
click to vote
NMR
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...
155
click to vote
LICS
2003
IEEE
16 years 1 days ago
2003
IEEE
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended with so-call...
163
click to vote
LICS
2003
IEEE
16 years 1 days ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...