Inductive equivalence in clausal logic and nonmonotonic logic programming (Q413854): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10994-010-5189-4
+Normal rank
@@ Property / OpenAlex ID @@
+W1997314029
@@ Property / OpenAlex ID: W1997314029 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+Saturation, nonmonotonic reasoning and the closed-world assumption
+Normal rank
@@ Property / cites work @@
+Equivalence issues in abduction and induction
@@ Property / cites work: Equivalence issues in abduction and induction / rank @@
+Normal rank
@@ Property / cites work @@
+Logical settings for concept-learning
@@ Property / cites work: Logical settings for concept-learning / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal discovery
@@ Property / cites work: Clausal discovery / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707746
@@ Property / cites work: Q4707746 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530868
@@ Property / cites work: Q4530868 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Induction as consequence finding
@@ Property / cites work: Induction as consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530875
@@ Property / cites work: Q4530875 / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Equivalence in First-order Logic
@@ Property / cites work: Abductive Equivalence in First-order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4004339
@@ Property / cites work: Q4004339 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of inductive logic programming
@@ Property / cites work: Foundations of inductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808808
@@ Property / cites work: Q4808808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4796703
@@ Property / cites work: Q4796703 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of logic programs: Foundations and techniques
+Normal rank
@@ Property / cites work @@
+Q5677085
@@ Property / cites work: Q5677085 / rank @@
+Normal rank
@@ Property / cites work @@
+Brave induction: a logical framework for learning from incomplete information
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank