2162 search results - page 187 / 433 » Automated Reasoning on Feature Models |
110
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
118
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
138
click to vote
PPSWR
2005
Springer
15 years 10 months ago
2005
Springer
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to ...
138
click to vote
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
135
Voted
GIS
2010
ACM
15 years 3 months ago
2010
ACM
Many researchers throughout the world have been struggling to better understand and describe Spatial Data Infrastructures (SDIs). Our knowledge of the real forces and mechanisms b...