The complexity and generality of learning answer set programs (Q1647512): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2018.03.005
@@ Property / DOI: 10.1016/j.artint.2018.03.005 / rank @@
-Normal rank
@@ Property / author @@
-Mark M. Law
@@ Property / author: Mark M. Law / rank @@
-Normal rank
@@ Property / author @@
+Mark M. Law
@@ Property / author: Mark M. Law / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLV
@@ Property / describes a project that uses: DLV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProbLog
@@ Property / describes a project that uses: ProbLog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aleph
@@ Property / describes a project that uses: Aleph / 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.2018.03.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2793662597
@@ Property / OpenAlex ID: W2793662597 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive logic programming
@@ Property / cites work: Inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Hybrid Abductive Inductive Proof Procedure
@@ Property / cites work: A Hybrid Abductive Inductive Proof Procedure / rank @@
+Normal rank
@@ Property / cites work @@
+ILP turns 20. Biography and future challenges
@@ Property / cites work: ILP turns 20. Biography and future challenges / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down induction of first-order logical decision trees
+Normal rank
@@ Property / cites work @@
+INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
@@ Property / cites work: INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH / rank @@
+Normal rank
@@ Property / cites work @@
+Q4800160
@@ Property / cites work: Q4800160 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer Set Programming: A Primer
@@ Property / cites work: Answer Set Programming: A Primer / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental learning of event definitions with inductive logic programming
+Normal rank
@@ Property / cites work @@
+Learning weak constraints in answer set programming
+Normal rank
@@ Property / cites work @@
+Iterative Learning of Answer Set Programs from Context Dependent Examples
+Normal rank
@@ Property / cites work @@
+Brave induction: a logical framework for learning from incomplete information
+Normal rank
@@ Property / cites work @@
+Q4796703
@@ Property / cites work: Q4796703 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Learning of Answer Set Programs
@@ Property / cites work: Inductive Learning of Answer Set Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic abductive inductive learning
@@ Property / cites work: Nonmonotonic abductive inductive learning / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Through Hypothesis Refinement Using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Logical settings for concept-learning
@@ Property / cites work: Logical settings for concept-learning / rank @@
+Normal rank
@@ Property / cites work @@
+Induction from answer sets in nonmonotonic logic programs
+Normal rank
@@ Property / cites work @@
+Learning from interpretation transition
@@ Property / cites work: Learning from interpretation transition / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Learning Theory
@@ Property / cites work: Algorithmic Learning Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Rule Learning
@@ Property / cites work: Probabilistic Rule Learning / rank @@
+Normal rank
@@ Property / cites work @@
+Structure learning of probabilistic logic programs by searching the clause space
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2018.03.005
@@ Property / DOI: 10.1016/J.ARTINT.2018.03.005 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1647512