3566 search results - page 30 / 714 » Signed Logic Programs |
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
POPL
2000
ACM
15 years 7 months ago
2000
ACM
95
Voted
IFIP
1994
Springer
15 years 6 months ago
1994
Springer