3970 search results - page 246 / 794 » A Logic For Causal Reasoning |
183
Voted
FMLDO
2000
Springer
15 years 8 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
155
Voted
DLOG
2006
15 years 6 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
119
Voted
IJCAI
2003
15 years 6 months ago
2003
This paper demonstrates the applicability of automated reasoning to text processing, specifically to Question Answering. It is shown that the approach is feasible, effective, and ...
138
click to vote
ETRA
2004
ACM
15 years 10 months ago
2004
ACM
Cognitive models and empirical studies of problem solving in visuo-spatial and causal domains suggest that problem solving tasks in such domains invoke cognitive processes involvi...
144
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...