3513 search results - page 142 / 703 » Super Logic Programs |
113
Voted
ECSQARU
2009
Springer
15 years 9 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
130
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
120
click to vote
ICTAI
2007
IEEE
15 years 9 months 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...
109
click to vote
ICLP
2004
Springer
15 years 8 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 ...
126
Voted
ILP
2003
Springer
15 years 7 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...