Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437): Difference between revisions

@@ Property / author @@
-Fang-Fang Liu
@@ Property / author: Fang-Fang Liu / rank @@
-Normal rank
@@ Property / author @@
+Fang-Fang Liu
@@ Property / author: Fang-Fang Liu / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2017.08.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2750078980
@@ Property / OpenAlex ID: W2750078980 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimate approximation and its application in nonmonotonic knowledge representation systems
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Local closed world reasoning with description logics under the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Q4012230
@@ Property / cites work: Q4012230 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+FO(ID) as an extension of DL with rules
@@ Property / cites work: FO(ID) as an extension of DL with rules / rank @@
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank