Search Sciweavers | Sciweavers

56

click to vote

VLDB
1994
ACM

90views Database» more VLDB 1994»

Some Issues in Design of Distributed Deductive Databases

15 years 2 months ago

Download www.vldb.org

Mukesh K. Mohania, Nandlal L. Sarda

claim paper

Read More »

85

click to vote

ISMIS
1994
Springer

122views Artificial Intelligence» more ISMIS 1994»

BDDs and Automated Deduction

15 years 2 months ago

Download web.sec.uni-passau.de

BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....

Jean Goubault, Joachim Posegga

claim paper

Read More »

98

Voted

DEDUCTIVE
1994

133views Database» more DEDUCTIVE 1994»

Expressive Power of Non-Deterministic Operators for Logic-based Languages

14 years 11 months ago

Download www.cs.ucla.edu

Non-deterministic operators are needed in First-Order relational languages and Datalog to extend the expressive power of such languages and support efficient formulations of lowco...

Luca Corciulo, Fosca Giannotti, Dino Pedreschi, Ca...

claim paper

Read More »

66

click to vote

CADE
1994
Springer

131views Logical Reasoning» more CADE 1994»

Deductive Composition of Astronomical Software from Subroutine Libraries

15 years 2 months ago

Download www.cs.utep.edu

Mark E. Stickel, Richard J. Waldinger, Michael R. ...

claim paper