Sciweavers

2138 search results - page 114 / 428
» Logical Step-Indexed Logical Relations
Sort
View
90
Voted
KR
1998
Springer
15 years 2 months ago
Foundations of Spatioterminological Reasoning with Description Logics
This paper presents a method for reasoning about spatial objects and their qualitative spatial relationships. In contrast to existing work, which mainly focusses on reasoning abou...
Volker Haarslev, Carsten Lutz, Ralf Möller
CMSB
2006
Springer
15 years 1 months ago
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
Heike Siebert, Alexander Bockmayr
71
Voted
EUSFLAT
2001
14 years 11 months ago
Fuzzy logic in architectural design
Architecture is a multidisciplinary science with many dimensions.For a design task the major part of the design requirements are often qualitative (soft) next to quantitative desi...
Özer Ciftcioglu, S. Durmisevic
77
Voted
COMBINATORICS
2004
48views more  COMBINATORICS 2004»
14 years 10 months ago
Partition Identities I: Sandwich Theorems and Logical 0-1 Laws
The Sandwich Theorems proved in this paper give a new method to show that the partition function a(n) of a partition identity A(x) := n=0 a(n)xn = n=1 (1 - xn )-p(n) satisfies t...
Jason P. Bell, Stanley Burris
97
Voted
FROCOS
2000
Springer
15 years 1 months ago
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
Paqui Lucio