1737 search results - page 93 / 348 » On Interpolation in Existence Logics |
180
click to vote
AAECC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
162
click to vote
AML
2006
15 years 6 months ago
2006
The paper considers a commonly used axiomatization of the classical propositional logic and studies how different axiom schemata in this system contribute to proof complexity of th...
159
click to vote
IJAR
2008
15 years 6 months ago
2008
This paper presents new techniques for performing logical operations on type-2 fuzzy sets. These techniques make significant use of geometric methods to give, for the first time, ...
154
click to vote
JANCL
2007
15 years 6 months ago
2007
We propose a non-standard interpretation of Alternating-time Temporal Logic with imperfect information, for which no commonly accepted semantics has been proposed yet. Rather than ...
182
click to vote
ACL
2011
14 years 10 months ago
2011
Compositional question answering begins by mapping questions to logical forms, but training a semantic parser to perform this mapping typically requires the costly annotation of t...