2236 search results - page 290 / 448 » Language Independence and Language Tolerance in Logic Progra... |
126
Voted
DAGSTUHL
2007
15 years 6 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
231
Voted
CC
2009
Springer
16 years 5 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
151
click to vote
SLP
1994
15 years 5 months ago
1994
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
137
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
125
click to vote
DEXA
1995
Springer
15 years 8 months ago
1995
Springer
- In order to accomplish independence on the logical data organization, a relational DBMS must be capable of interpreting query language sentences which reference attributes belong...