3546 search results - page 391 / 710 » A Causal Logic of Logic Programming |
112
click to vote
FOIKS
2004
Springer
15 years 7 months ago
2004
Springer
We introduce a simple and practically efficient method for repairing inconsistent databases. The idea is to properly represent the underlying problem, and then use off-the-shelf a...
125
click to vote
IEAAIE
2004
Springer
15 years 6 months ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...
132
click to vote
ASP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
113
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
132
click to vote
AADEBUG
2000
Springer
15 years 5 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...