2293 search results - page 35 / 459 » Temporal Logic in Information Systems |
114
click to vote
COLING
2000
15 years 1 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...
DALT
2008
Springer
15 years 28 days 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...
110
click to vote
CSREAEEE
2006
15 years 1 months ago
2006
- Collaborative filtering is a widely used and proven method of building recommender systems that provide personalized recommendations on products or services based on explicit rat...
123
click to vote
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
139
click to vote
HYBRID
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...