3028 search results - page 118 / 606 » Integrating Temporal Logics |
161
click to vote
APAL
2005
15 years 4 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
137
click to vote
FQAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...
163
click to vote
AMAI
2008
Springer
15 years 4 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
176
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
158
click to vote
IGPL
2010
15 years 3 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...