3970 search results - page 146 / 794 » A Logic For Causal Reasoning |
CADE
1994
Springer
14 years 1 days ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.
CADE
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
LICS
2010
IEEE
13 years 5 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
CADE
2012
Springer
11 years 10 months ago
2012
Springer
We introduce a technique to prove non-termination of term rewrite systems automatically. Our technique improves over previous approaches substantially, as it can also detect non-lo...