1860 search results - page 89 / 372 » A Temporal Logic of Robustness |
115
Voted
JAIR
2002
15 years 7 days ago
2002
We develop, analyze, and evaluate a novel, supervised, specific-to-general learner for a simple temporal logic and use the resulting algorithm to learn visual event definitions fr...
105
Voted
KR
1991
Springer
15 years 4 months ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
119
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
83
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
104
Voted
SEFM
2009
IEEE
15 years 7 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...