3481 search results - page 76 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
87
Voted
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
95
Voted
ICALP
1991
Springer
15 years 6 months ago
1991
Springer
120
Voted
NGC
2000
Springer
15 years 2 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...
92
Voted
PADL
2007
Springer
15 years 8 months ago
2007
Springer
