3028 search results - page 30 / 606 » Integrating Temporal Logics |
TIME
2006
IEEE
14 years 3 months ago
2006
IEEE
TIME
2005
IEEE
14 years 3 months ago
2005
IEEE
TIME
2005
IEEE
14 years 3 months ago
2005
IEEE
TIME
2003
IEEE
14 years 3 months ago
2003
IEEE
NGC
2000
Springer
13 years 9 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...