49 search results - page 7 / 10 » A note on the substructural hierarchy |
JSYML
2008
14 years 9 months ago
2008
When restricted to proving q i formulas, the quantified propositional proof system G i is closely related to the b i theorems of Buss's theory Si 2. Namely, G i has polynomial...
LPAR
2010
Springer
14 years 7 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
Domain specific ontologies are heavily used in many applications. For instance, these form the bases on which similarity/dissimilarity between keywords are extracted for various k...
CSCW
2010
ACM
15 years 6 months ago
2010
ACM
In this note we introduce a new methodology that combines tools from social language processing and network analysis to identify socially situated relationships between individual...
DEXA
2004
Springer
15 years 3 months ago
2004
Springer
This work presents a study of the nature of expertise in geology, which demands visual recognition methods to describe and interpret petroleum reservoir rocks. In an experiment usi...