1313 search results - page 100 / 263 » Prioritized Reasoning in Logic Programming |
158
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...
133
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...
115
Voted
IJCAI
2001
15 years 5 months ago
2001
Recently, several approaches for updating knowledge bases represented as logic programs have been proposed. In this paper, we present a generic framework for declarative specifica...
172
Voted
VVEIS
2007
15 years 4 months ago
2007
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...