Results 1 to 10 of about 10,210,730 (222)

Argumentation Semantics for Defeasible Logic

open access: yesJournal of Logic and Computation, 2004
Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic reasoning. It has powerful implementations and shows promise to be applied in the areas of legal reasoning and the modelling of business rules.
Guido Governatori   +3 more
semanticscholar   +1 more source

A valuation-based language for expert systems

open access: yesInternational Journal of Approximate Reasoning, 1989
Prakash P. Shenoy
semanticscholar   +1 more source
Some of the next articles are maybe not open access.

Some Algorithms for Extension Computation of Nonmonotonic Rule Systems

Fundamenta Informaticae, 2001
In this paper, we will place our emphasis on the problem of existence of extensions and on finding more efficient algorithms for computing extensions of nonmonotonic rule systems. First, in order to dedicate further research into nonmonotonic rule systems a new characterization and some new results are given.
Xishun Zhao, Decheng Ding
exaly   +6 more sources

Integrity and rule checking in nonmonotonic knowledge bases

open access: yesKnowledge-Based Systems, 1996
Anomalies such as redundant, contradictory or deficient knowledge in a knowledge base indicate possible errors. Various methods for detecting such anomalies have been introduced, analyzed and applied in the past years, but they usually deal with rule ...
Grigoris Antoniou
exaly   +3 more sources

Nonmonotonic rule systems with recursive sets of restraints

Archive for Mathematical Logic, 1997
Nonmonotonic rule systems are introduced to capture the common features of several nonmonotonic logics as, e.g., auto-epistemic logic, default logic and general logic programs. A nonmonotonic rule system is a pair \((U,N)\) where \(U\) is a set and \(N\) is a collection of rules.
V. Wiktor Marek   +2 more
openaire   +4 more sources

Probabilistic Rule Learning in Nonmonotonic Domains

Lecture Notes in Computer Science, 2011
Katsumi Inoue   +2 more
exaly   +2 more sources

SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules

2009 Fifth International Joint Conference on INC, IMS and IDC, 2009
In this paper, we will introduce a hybrid knowledge system SHOIQD to integrate the description logic SHOIQ and nonmonotonic rules preserving decidability. We first define the syntax of the integrated knowledge base and then introduce it’s semantic based on well founded semantic. Next, we develop a new algorithm to answer queries over the knowledge base.
Ling Ji, Dantong Ouyang, Yuxin Ye
openaire   +2 more sources

Web Reasoning and Rule Systems

Lecture Notes in Computer Science, 2013
Wolfgang Faber, Domenico Lembo
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy