8337 search results - page 5 / 1668 » Reasoning With Characteristic Models |
70
Voted
CAV
2003
Springer
15 years 4 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...
EXPERT
2006
14 years 11 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
IJCAI
1993
15 years 1 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
92
Voted
OTM
2004
Springer
15 years 5 months ago
2004
Springer
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
89
Voted
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
Several innovative software applications such as those required by ambient intelligence, the semantic grid, e-commerce and e-marketing, can be viewed as open societies of heteroge...