Results 231 to 240 of about 3,012,120 (253)
Some of the next articles are maybe not open access.
The semantics of constraint logic programs
J. Log. Program., 1998Summary: The Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the first time the semantic foundations of CLP in a self-contained and complete ...
Jaffar, J. +3 more
openaire +3 more sources
Temporal logic and annotated constraint logic programming
1995We introduce a family of logic programming languages for representing and reasoning about time. The family is conceptually simple while covering substantial parts of temporal logic. Given a logic in our framework, there is a systematic way to make it executable as a constraint logic program.
openaire +1 more source
Reasoning on Constraints in Constraint Logic Programming
1997Evelina Lamma +2 more
openaire +2 more sources
Generating Random Logic Programs Using Constraint Programming
Lecture Notes in Computer Science, 2020Vaishak Belle
exaly
Logic programs with abstract constraint atoms: The role of computations
Artificial Intelligence, 2010Miroslaw Truszczyński +2 more
exaly
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems, 1996Andrew W Appel, Manuel Hermenegildo
exaly
Constructive negation in definite constraint logic programs
Lecture Notes in Computer Science, 2005Suman Roy, Vijay Chandru
exaly
Constraint-based termination analysis of logic programs
ACM Transactions on Programming Languages and Systems, 1999Danny de Schreye
exaly
Semantics of constraint logic programs with optimization
ACM Transactions on Programming Languages and Systems, 1993Kim Marriott +2 more
exaly