Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic (Q5504646): Difference between revisions

@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming revisited
@@ Property / cites work: Logic programming revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of nonmonotone inductive definitions
@@ Property / cites work: A logic of nonmonotone inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Predicate-calculus-based logics for modeling and solving search problems
+Normal rank
@@ Property / cites work @@
+Representing Causal Information About a Probabilistic Process
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank