1670 search results - page 221 / 334 » On Skolemization in constructive theories |
173
click to vote
ICDE
1994
IEEE
15 years 10 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
216
click to vote
MCMASTER
1993
15 years 10 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
205
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Cognitive vision is an area that is not yet well-defined, in the sense that one can unambiguously state what issues fall under its purview and what considerations do not. Neither i...
169
click to vote
IJCAI
1989
15 years 7 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
181
click to vote
IJET
2007
15 years 6 months ago
2007
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...