52 search results - page 9 / 11 » On the Automatizability of Resolution and Related Propositio... |
MMM
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. The paper presents a new approach on an omni-directional omnistereo multi-camera system that allows the recording of panoramic 3D video with high resolution and quality a...
COCOON
2007
Springer
14 years 4 months ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
FUIN
2006
13 years 9 months ago
2006
Traditional Machine Learning approaches based on single inference mechanisms have reached their limits. This causes the need for a framework that integrates approaches based on aba...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
AML
2006
13 years 9 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...