653 search results - page 37 / 131 » The Logic of Learning |
140
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
159
click to vote
XSYM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
155
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...
167
click to vote
KSEM
2010
Springer
15 years 4 months ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
206
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...