Search Sciweavers | Sciweavers

23

DEDUCTIVE
1993

103views Database» more DEDUCTIVE 1993»

Q-Data: Using Deductive Database Technology to Improve Data Quality

13 years 8 months ago

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...

Amit P. Sheth, Christopher Wood, Vipul Kashyap

claim paper

Read More »

18

click to vote

IJCAI
1993

98views Artificial Intelligence» more IJCAI 1993»

Constraint Deduction in an Interval-based Temporal Logic

13 years 8 months ago

Download www.aaai.org

Jana Koehler, Ralf Treinen

claim paper

Read More »

27

click to vote

DEDUCTIVE
1993

140views Database» more DEDUCTIVE 1993»

AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA

13 years 8 months ago

Download dbis-informatik.uibk.ac.at

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...

Günther Specht, Burkhard Freitag

claim paper

Read More »

19

click to vote

SIGMOD
1993
ACM

118views Database» more SIGMOD 1993»

The CORAL Deductive Database System

13 years 11 months ago

Download www.cse.iitb.ac.in

Raghu Ramakrishnan, William G. Roth, Praveen Sesha...

claim paper

Read More »

31

click to vote

ISMVL
1993
IEEE

140views Hardware» more ISMVL 1993»

Systematic Construction of Natural Deduction Systems for Many-Valued Logics

13 years 11 months ago

Download people.ucalgary.ca

A construction principle for natural deduction systems for arbitrary ﬁnitely-many-valued ﬁrst order logics is exhibited. These systems are systematically obtained from sequent...

Matthias Baaz, Christian G. Fermüller, Richar...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers