Results 171 to 180 of about 10,099,837 (194)
Some of the next articles are maybe not open access.
Some Algorithms for Extension Computation of Nonmonotonic Rule Systems
Fundamenta Informaticae, 2001In 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
openaire +5 more sources
SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules
2009 Fifth International Joint Conference on INC, IMS and IDC, 2009In 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 +4 more sources
Nonmonotonic rule systems with recursive sets of restraints
Archive for Mathematical Logic, 1997Nonmonotonic 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 +3 more sources
Nonmonotonic rule systems: Forward chaining, constraints, and complexity
Lecture Notes in Computer Science, 1996Jeffrey B Remmel
openaire +3 more sources
A Theory of Nonmonotonic Rule Systems I
Annals of Mathematics and Artificial Intelligence, 1990A Nerode, J Remmel, W Marek
exaly
Proof Explanation for a Nonmonotonic Semantic Web Rules Language
Data and Knowledge Engineering, 2008Dimitris Zeginis +2 more
exaly