Login / Signup

Learning logic programs by finding minimal unsatisfiable subprograms.

Andrew CropperCéline Hocquette
Published in: CoRR (2024)
Keyphrases
  • logic programs
  • background knowledge
  • logic programming
  • answer set programming
  • stable models
  • answer sets
  • machine learning
  • model checking
  • stable model semantics
  • term rewriting systems