2162 search results - page 199 / 433 » Automated Reasoning on Feature Models |
147
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
We propose new features and algorithms for automating Web-page classification tasks such as content recommendation and ad blocking. We show that the automated classification of We...
121
Voted
CADE
2003
Springer
16 years 4 months ago
2003
Springer
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proofprocedure for first-order logic, ...
122
click to vote
AAAI
1997
15 years 6 months ago
1997
Automated problem solving is viewed typically as the expenditure of computation to solve one or more problems passed to a reasoning system. In response to each problem received, e...
142
Voted
CAD
2006
Springer
15 years 4 months ago
2006
Springer
For users of CAD data, few things are as frustrating as receiving unusable, poor quality data. Users often waste time fixing or rebuilding such data from scratch on the basis of p...
123
Voted
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...