2138 search results - page 122 / 428 » Logics for the Relational Syllogistic |
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
ISMVL
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper considers quasi-reduced multi-valued decision diagrams with bits (QRMDD( )s) to represent twovalued logic functions. It shows relations between the numbers of nodes in ...
KR
1998
Springer
14 years 9 days ago
1998
Springer
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...
CMSB
2006
Springer
13 years 11 months ago
2006
Springer
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...
EUSFLAT
2001
13 years 9 months ago
2001
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...