Well-founded operators for normal hybrid MKNF knowledge bases

DOI10.1017/S1471068417000291zbMath1422.68220arXiv1707.01959OpenAlexW2963390246MaRDI QIDQ4592713

Fang-Fang Liu, Jia-Huai You, Jianmin Ji

Publication date: 8 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1707.01959

zbMATH Keywords

constraint propagationDPLL-based search enginehybrid MKNFwell-founded operator

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)

Related Items (2)

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

Cites Work

• 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
• The alternating fixpoint of logic programs with negation
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Extending and implementing the stable model semantics
• Conflict-driven answer set solving: from theory to practice
• A lattice-theoretical fixpoint theorem and its applications
• Solving SAT and SAT Modulo Theories
• Reconciling description logics and rules
• The well-founded semantics for general logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Well-founded operators for normal hybrid MKNF knowledge bases