3970 search results - page 22 / 794 » A Logic For Causal Reasoning |
FUZZY
1999
Springer
13 years 12 months ago
1999
Springer
EUSFLAT
2009
13 years 5 months ago
2009
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
TIME
1994
IEEE
13 years 11 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
MICAI
2005
Springer
14 years 1 months ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...