Search Sciweavers | Sciweavers

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 »

160

click to vote

USITS
1997

71views Operating System» more USITS 1997»

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

15 years 8 months ago

Download www.cs.washington.edu

Steven D. Gribble, Eric A. Brewer

claim paper

Read More »

196

click to vote

DEDUCTIVE
1997

119views Database» more DEDUCTIVE 1997»

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

15 years 8 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 »

145

Voted

ISHPC
1997
Springer

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

Improving the Performance of Automated Forward Deduction System EnCal

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers