3470 search results - page 275 / 694 » Head-Elementary-Set-Free Logic Programs |
190
click to vote
ICTAI
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
175
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
165
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
163
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
176
click to vote
LPNMR
2004
Springer
15 years 12 months 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 ...