25 search results - page 1 / 5 » deductive 1993 |
103
Voted
DEDUCTIVE
1993
15 years 1 months ago
1993
This chapter discusses an extended deductive database prototype system, Q-Data, developed by Bellcore to improve data quality through data validation and cleanup. The key technolo...
57
Voted
IJCAI
1993
15 years 1 months ago
1993
103
Voted
DEDUCTIVE
1993
15 years 1 months ago
1993
In this paper we present the set-oriented bottom-up parsing system AMOS which is a major application of the deductive database system LOLA. AMOS supports the morpho-syntactical an...
SIGMOD
1993
ACM
15 years 3 months ago
1993
ACM
121
click to vote
ISMVL
1993
IEEE
15 years 3 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...