Search Sciweavers | Sciweavers

1549 search results - page 28 / 310

» On the rules of intermediate logics

click to vote

APIN
2000

155views more APIN 2000»

Defeasible Logic on an Embedded Microcontroller

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

click to vote

FROCOS
2009
Springer

124views Control Systems» more FROCOS 2009»

Combining Description Logics, Description Graphs, and Rules

14 years 3 months ago

Download disi.unitn.it

Boris Motik

claim paper

Read More »

click to vote

ICLP
2007
Springer

112views Automated Reasoning» more ICLP 2007»

Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

14 years 3 months ago

Download www.tcs.hut.fi

Matti Järvisalo, Emilia Oikarinen

claim paper

Read More »

click to vote

SIGECOM
1999
ACM

90views ECommerce» more SIGECOM 1999»

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

14 years 1 months ago

Download www.damas.ift.ulaval.ca

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

claim paper

Read More »

click to vote

VLDB
1990
ACM

66views Database» more VLDB 1990»

Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs

14 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers