Search Sciweavers | Sciweavers

22

click to vote

DEDUCTIVE
1997

127views Database» more DEDUCTIVE 1997»

CRD: A New Data Mining Method in Deductive Databases

13 years 6 months ago

Download www.icsi.berkeley.edu

Yunming Wang, Chun Tao, Yonggang Zhao, Yang Yang

claim paper

Read More »

14

click to vote

IJCAI
1997

102views Artificial Intelligence» more IJCAI 1997»

Let's Plan It Deductively!

13 years 6 months ago

Download dli.iiit.ac.in

The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...

Wolfgang Bibel

claim paper

Read More »

12

click to vote

USITS
1997

71views Operating System» more USITS 1997»

System Design Issues for Internet Middleware Services: Deductions from a Large Client Trace

13 years 6 months ago

Download www.cs.washington.edu

Steven D. Gribble, Eric A. Brewer

claim paper

Read More »

15

click to vote

DEDUCTIVE
1997

119views Database» more DEDUCTIVE 1997»

Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++

13 years 6 months ago

Download www.cs.wayne.edu

We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...

Hasan M. Jamil

claim paper

Read More »

12

click to vote

ISHPC
1997
Springer

80views Distributed And Parallel Com...» more ISHPC 1997»

Improving the Performance of Automated Forward Deduction System EnCal

13 years 9 months ago

Download s192154.ppp.asahi-net.or.jp

Kazunori Nishi, Jingde Cheng, Kazuo Ushijima

claim paper