2649 search results - page 226 / 530 » Temporal Theories of Reasoning |
208
click to vote
MATES
2005
Springer
16 years 6 days ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
178
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
196
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
214
click to vote
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. RDF will often be the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model ...
189
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We consider the blind separation of sources with general (e.g., not necessarily stationary) temporal covariance structures. When the sources’ temporal covariance matrices are kn...