3481 search results - page 76 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
158
Voted
PPDP
2000
Springer
15 years 11 months ago
2000
Springer
189
click to vote
NGC
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
167
Voted
PADL
2007
Springer
16 years 1 months ago
2007
Springer
