Three-valued semantics for hybrid MKNF knowledge bases revisited

DOI10.1016/j.artint.2017.08.003zbMath1420.68204OpenAlexW2750078980MaRDI QIDQ1677437

Jia-Huai You, Fang-Fang Liu

Publication date: 21 November 2017

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2017.08.003

zbMATH Keywords

well-founded semanticsthree-valued logicguess-and-verify proof methodhybrid MKNF knowledge basessemantics of MKNF

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Many-valued logic (03B50)

Related Items (3)

Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT ⋮ Unnamed Item ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Ultimate approximation and its application in nonmonotonic knowledge representation systems
• FO(ID) as an extension of DL with rules
• Local closed world reasoning with description logics under the well-founded semantics
• A three-valued semantics for deductive databases and logic programs
• Extending and implementing the stable model semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Solving SAT and SAT Modulo Theories
• Reconciling description logics and rules
• The well-founded semantics for general logic programs
• The Description Logic Handbook
• A machine program for theorem-proving
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Three-valued semantics for hybrid MKNF knowledge bases revisited