955 search results - page 12 / 191 » Tractable Temporal Reasoning |
APIN
2005
13 years 7 months ago
2005
This paper presents an extension of Petri net framework with imprecise temporal properties. We use possibility theory to represent imprecise time by time-stamping tokens and assig...
ER
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We present a unifying approach to the efļ¬cient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ā...
AIPS
2006
13 years 9 months ago
2006
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
AIME
2007
Springer
14 years 1 months ago
2007
Springer
Reiļ¬cation of parthood relations according to the SEP-triplet encoding pattern has been employed in the clinical terminology SNOMED CT to simulate transitivity of the part-of rel...