1167 search results - page 21 / 234 » A Really Temporal Logic |
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
TIME
2005
IEEE
14 years 1 months ago
2005
IEEE
TIME
2003
IEEE
14 years 24 days ago
2003
IEEE
NGC
2000
Springer
13 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...
AAAI
1998
13 years 9 months ago
1998
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...