859 search results - page 98 / 172 » Abduction in Temporal Reasoning |
CIB
2002
15 years 17 days ago
2002
The web log data embed much of web users' browsing behavior. From the web logs, one can discover patterns that predict the users' future requests based on their current b...
95
Voted
JOLLI
2002
15 years 12 days ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
129
click to vote
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
98
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
102
Voted
SSD
2009
Springer
15 years 5 months ago
2009
Springer
We introduce TOQL, a query language for querying time information in ontologies. TOQL is a high level query language that handles ontologies almost like relational databases. Queri...