1283 search results - page 26 / 257 » A Survey on Temporal Logics |
TIME
2003
IEEE
15 years 3 months ago
2003
IEEE
83
Voted
NGC
2000
Springer
14 years 10 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...
73
Voted
AAAI
1998
14 years 11 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...
FUIN
2006
14 years 10 months ago
2006
Logics for expressing properties of Petri hypernets, a visual formalism for modelling mobile agents, are proposed. Two classes of properties are of interest--the temporal evolution...
81
Voted
TIME
2007
IEEE
15 years 4 months ago
2007
IEEE
