2138 search results - page 35 / 428 » Logical Step-Indexed Logical Relations |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
ICLP
2009
Springer
14 years 10 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
TASE
2008
IEEE
14 years 4 months ago
2008
IEEE