Login / Signup
A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs.
Louis Rustenholz
Maximiliano Klemen
Miguel Á. Carreira-Perpiñán
Pedro López-García
Published in:
CoRR (2024)
Keyphrases
</>
logic programs
machine learning
logic programming
inductive logic programming
background knowledge
monotonicity constraints
answer sets
fixpoint
stable models
expert systems
artificial intelligence
description logics
answer set programming
horn clauses