1549 search results - page 23 / 310 » On the rules of intermediate logics |
116
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
113
click to vote
LMCS
2006
15 years 1 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
131
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
132
click to vote
JACM
2010
15 years 10 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
204
click to vote
TIME
2009
IEEE
15 years 8 months ago
2009
IEEE
—Rule-based filters are sequences of rules formed of a condition and a decision. Rules are applied sequentially up to the first fulfilled condition, whose matching decision de...