Search Sciweavers | Sciweavers

1549 search results - page 28 / 310

» On the rules of intermediate logics

177

click to vote

APIN
2000

155views more APIN 2000»

Defeasible Logic on an Embedded Microcontroller

15 years 5 months ago

Download www.ai.uga.edu

Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...

Michael A. Covington

claim paper

Read More »

158

click to vote

FROCOS
2009
Springer

124views Control Systems» more FROCOS 2009»

Combining Description Logics, Description Graphs, and Rules

16 years 6 days ago

Download disi.unitn.it

Boris Motik

claim paper

Read More »

123

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

15 years 11 months ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

126

click to vote

SIGECOM
1999
ACM

90views ECommerce» more SIGECOM 1999»

A declarative approach to business rules in contracts: courteous logic programs in XML

15 years 10 months ago

Download www.damas.ift.ulaval.ca

Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan

claim paper

Read More »

131

click to vote

VLDB
1990
ACM

66views Database» more VLDB 1990»

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers