Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition (Q1621888): Difference between revisions

Latest revision as of 23:13, 10 December 2024

scientific article

Language	Label	Description	Also known as
English	Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition	scientific article

Statements

instance of

scholarly article

0 references

title

Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition (English)

0 references

0 references

0 references

0 references

12 November 2018

0 references

full work available at URL

https://arxiv.org/abs/1707.02729

0 references

zbMATH Keywords

inductive logic programming

0 references

answer set programming

0 references

hypothesis generation

0 references

rule complexity

0 references

best-effort

0 references

describes a project that uses

Gringo

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Unsatisfiability-based optimization in clasp

0 references

SAT-based MaxSAT algorithms

0 references

Learning Through Hypothesis Refinement Using Answer Set Programming

0 references

Knowledge Representation, Reasoning and Declarative Problem Solving

0 references

10.1162/jmlr.2003.3.4-5.993

0 references

Q4423202

0 references

Normative design using inductive learning

0 references

INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH

0 references

Relational learning with statistical predicate invention: Better models for hypertext

0 references

Structured machine learning: the next ten years

0 references

Semantics and complexity of recursive aggregates in answer set programming

0 references

Conflict-driven answer set solving: from theory to practice

0 references

Abductive Logic Programming

0 references

Incremental learning of event definitions with inductive logic programming

0 references

Inductive Learning of Answer Set Programs

0 references

Learning weak constraints in answer set programming

0 references

Iterative Learning of Answer Set Programs from Context Dependent Examples

0 references

Inductive Logic Programming: Theory and methods

0 references

ILP turns 20. Biography and future challenges

0 references

Meta-interpretive learning: application to grammatical inference

0 references

Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited

0 references

Q4796703

0 references

Nonmonotonic abductive inductive learning

0 references

Brave induction: a logical framework for learning from incomplete information

0 references

Identifiers

zbMATH Open document ID

1443.68155

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

10.1007/S10994-018-5708-2

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:1621888

@@ Property / DOI @@
-.1007/s10994-018-5708-2
@@ Property / DOI: 10.1007/s10994-018-5708-2 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Gringo
@@ Property / describes a project that uses: Gringo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2736057823
@@ Property / OpenAlex ID: W2736057823 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02729
@@ Property / arXiv ID: 1707.02729 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / rank @@
+Normal rank
@@ Property / cites work @@
+SAT-based MaxSAT algorithms
@@ Property / cites work: SAT-based MaxSAT algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Through Hypothesis Refinement Using Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+.1162/jmlr.2003.3.4-5.993
@@ Property / cites work: 10.1162/jmlr.2003.3.4-5.993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4423202
@@ Property / cites work: Q4423202 / rank @@
+Normal rank
@@ Property / cites work @@
+Normative design using inductive learning
@@ Property / cites work: Normative design using inductive learning / rank @@
+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 @@
+Relational learning with statistical predicate invention: Better models for hypertext
+Normal rank
@@ Property / cites work @@
+Structured machine learning: the next ten years
@@ Property / cites work: Structured machine learning: the next ten years / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental learning of event definitions with inductive logic programming
+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 @@
+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 @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / 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 @@
+Meta-interpretive learning: application to grammatical inference
+Normal rank
@@ Property / cites work @@
+Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited
+Normal rank
@@ Property / cites work @@
+Q4796703
@@ Property / cites work: Q4796703 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic abductive inductive learning
@@ Property / cites work: Nonmonotonic abductive inductive learning / rank @@
+Normal rank
@@ Property / cites work @@
+Brave induction: a logical framework for learning from incomplete information
+Normal rank
@@ Property / DOI @@
+.1007/S10994-018-5708-2
@@ Property / DOI: 10.1007/S10994-018-5708-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1621888