11436 search results - page 186 / 2288 » Modeling Real Reasoning |
135
click to vote
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
129
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
153
click to vote
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
CAV
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of reasoning with linear temporal logic on truncated paths. A truncated path is a path that is finite, but not necessarily maximal. Truncated paths arise n...
116
click to vote
FOAL
2007
ACM
15 years 7 months ago
2007
ACM
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...