1614 search results - page 266 / 323 » Planning as Temporal Reasoning |
141
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
110
click to vote
ESANN
2007
15 years 3 months ago
2007
Abstract. Several models have been proposed for spatio-temporal selforganization, among which the TOM model by Wiemer [1] is particularly promising. In this paper, we propose to ad...
124
click to vote
IJMMS
2007
15 years 1 months ago
2007
Affective reasoning plays an increasingly important role in cognitive accounts of social interaction. Humans continuously assess one another's situational context, modify the...
118
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
120
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...