4573 search results - page 411 / 915 » Automated Reasoning |
198
Voted
ECSQARU
1999
Springer
15 years 11 months ago
1999
Springer
: In this paper we consider the problem of inducing causal relations from statistical data. Although it is well known that a correlation does not justify the claim of a causal rela...
189
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
The problem of defining and checking a subtype relation between recursive types was studied in [3] for a first order type system, but for second order systems, which combine subty...
156
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...
154
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
182
click to vote
ESSLLI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...