1097 search results - page 22 / 220 » Revision Programming = Logic Programming Integrity Constra... |
116
Voted
AAAI
2004
15 years 3 months ago
2004
We propose and study extensions of logic programming with constraints represented as generalized atoms of the form C(X), where X is a finite set of atoms and C is act constraint (...
109
Voted
AMAI
2008
Springer
15 years 2 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
121
Voted
CONSTRAINTS
2004
15 years 2 months ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
127
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
163
Voted
CL
1999
Springer
15 years 2 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...