1283 search results - page 44 / 257 » A Survey on Temporal Logics |
183
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
148
click to vote
DALT
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
138
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
187
click to vote
COLING
2000
15 years 7 months ago
2000
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
160
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...