28 search results - page 1 / 6 » Polarized Resolution Modulo |
IFIPTCS
2010
13 years 4 months ago
2010
We present a restriction of Resolution modulo where the rewrite rules are such that clauses rewrite to clauses, so that the reduct of a clause needs not be further transformed into...
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
CADE
2011
Springer
12 years 6 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
MVA
1994
13 years 8 months ago
1994
This paper describes the development of an anthropomorphic visual sensor with retina-like structure to perform the polar mapping. The sensor consists of a dove prism for imagerota...
COGSCI
2008
13 years 7 months ago
2008
A central question in online human sentence comprehension is: how are linguistic relations established between different parts of a sentence? Previous work has shown that this dep...