1588 search results - page 25 / 318 » On the Logic of Constitutive Rules |
180
click to vote
DAGSTUHL
1998
15 years 7 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 ...
195
click to vote
JACM
2010
15 years 4 months 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...
275
click to vote
TIME
2009
IEEE
16 years 25 days 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...
137
click to vote
LREC
2010
15 years 7 months ago
2010
This paper presents and evaluates an original approach to automatically align bitexts at the word level. It relies on a syntactic dependency analysis of the source and target text...
162
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...