4513 search results - page 170 / 903 » Logic programming with satisfiability |
159
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
117
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
121
click to vote
ICWL
2007
Springer
15 years 9 months ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
134
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
140
Voted
ILP
2005
Springer
15 years 9 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...