Search Sciweavers | Sciweavers

260 search results - page 17 / 52

» Nonmonotonic Reasoning in FLORA-2

click to vote

IJCAI
1989

110views Artificial Intelligence» more IJCAI 1989»

Preferred Subtheories: An Extended Logical Framework for Default Reasoning

13 years 11 months ago

Download dli.iiit.ac.in

We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...

Gerhard Brewka

claim paper

Read More »

click to vote

JANCL
2006

123views more JANCL 2006»

Approximate databases: a support tool for approximate reasoning

13 years 9 months ago

Download www.martinmagnusson.com

This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...

Patrick Doherty, Martin Magnusson, Andrzej Szalas

claim paper

Read More »

click to vote

KR
1998
Springer

108views Automated Reasoning» more KR 1998»

Specifying Transactions for Extended Abduction

14 years 2 months ago

Download eref.uqu.edu.sa

Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...

Katsumi Inoue, Chiaki Sakama

claim paper

Read More »

click to vote

CADE
2001
Springer

161views Logical Reasoning» more CADE 2001»

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics

14 years 10 months ago

Download www.cs.uni-potsdam.de

Christian Anger, Kathrin Konczak, Thomas Linke

claim paper

Read More »