External sources of knowledge and value invention in logic programming (Q2457798): Difference between revisions

@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4798015
@@ Property / cites work: Q4798015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with infinite stable models
@@ Property / cites work: Reasoning with infinite stable models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798016
@@ Property / cites work: Q4798016 / rank @@
+Normal rank
@@ Property / cites work @@
+Set unification
@@ Property / cites work: Set unification / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of stratified logic programs with value invention
+Normal rank
@@ Property / cites work @@
+Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming
+Normal rank
@@ Property / cites work @@
+Discovery Science
@@ Property / cites work: Discovery Science / rank @@
+Normal rank