382 search results - page 39 / 77 » Complexity and Expressive Power of Logic Programming |
216
click to vote
CSCLP
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
148
click to vote
ICS
2000
Tsinghua U.
15 years 9 months ago
2000
Tsinghua U.
One of the main concerns in today's processor design is the issue logic. Instruction-level parallelism is usually favored by an out-of-order issue mechanism where instruction...
156
click to vote
TASE
2008
IEEE
16 years 6 days ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
178
click to vote
CP
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this paper, we present a major improvement in the search procedures in constraint programming. First, we integrate various search procedures from AI and OR. Second, we...
191
click to vote
CL
2000
Springer
15 years 5 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...