3845 search results - page 67 / 769 » Belief Logic Programming |
131
click to vote
NGC
2000
Springer
15 years 3 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...
237
Voted
POPL
2009
ACM
16 years 4 months ago
2009
ACM
105
Voted
PADL
2007
Springer
15 years 10 months ago
2007
Springer
103
Voted
POPL
2000
ACM
15 years 8 months ago
2000
ACM
