Results 141 to 150 of about 571,966 (183)

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, Anil Nerode, Jeffrey B. Remmel   +2 more
openaire   +3 more sources

Integrity and rule checking in nonmonotonic knowledge bases

Knowledge-Based Systems, 1996
Antoniou Grigoris
exaly   +2 more sources

Nonmonotonic conditionals that behave like conditional probabilities above a threshold

Journal of Applied Logic, 2007
James Hawthorne
exaly   +2 more sources

Probabilistic Rule Learning in Nonmonotonic Domains

Lecture Notes in Computer Science, 2011
Domenico Corapi, Daniel Sykes, 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   +1 more source

AN ARGUMENT-BASED APPROACH TO NONMONOTONIC REASONING

Computational Intelligence, 1993
Fangzhen Lin
exaly   +2 more sources

Web Reasoning and Rule Systems

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

StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web

International Conference on Web Reasoning and Rule Systems, 2013
A. Mileo, Ahmed Abdelrahman, Sean Policarpio, M. Hauswirth   +3 more
semanticscholar   +1 more source

Proving properties of rule-based systems

[1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application, 1991
R. Waldinger, M. Stickel
semanticscholar   +1 more source

Inheritance in Rule-Based Frame Systems: Semantics and Inference

Journal on Data Semantics, 2006
Guizhen Yang, M. Kifer
semanticscholar   +1 more source