1860 search results - page 24 / 372 » A Temporal Logic of Robustness |
88
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
82
Voted
TIME
2005
IEEE
15 years 6 months ago
2005
IEEE
92
Voted
TIME
2003
IEEE
15 years 6 months ago
2003
IEEE
106
click to vote
NGC
2000
Springer
15 years 15 days 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
15 years 2 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...