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

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N17
@@ Property / Mathematics Subject Classification ID: 68N17 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6031585
@@ Property / zbMATH DE Number: 6031585 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inductive equivalence
@@ Property / zbMATH Keywords: inductive equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inductive logic programming
@@ Property / zbMATH Keywords: inductive logic programming / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nonmonotonic logic programs
@@ Property / zbMATH Keywords: nonmonotonic logic programs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+lpeq
@@ Property / describes a project that uses: lpeq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GOLEM
@@ Property / describes a project that uses: GOLEM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLPEQ
@@ Property / describes a project that uses: DLPEQ / 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.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
@@ links / mardi / name / links / mardi / name @@
+Publication:413854