Logic programs as specifications in the inductive verification of logic programs.
Marco CominiRoberta GoriGiorgio LeviPublished in: APPIA-GULP-PRODE (2001)
Keyphrases
- logic programs
- recursive programs
- logic programming
- inductive logic programming
- term rewriting systems
- fixpoint
- functional programs
- stable models
- background knowledge
- answer sets
- computational properties
- answer set programming
- normal logic programs
- prolog programs
- machine learning
- stable model semantics
- high level
- strong equivalence
- inference rules
- autoepistemic logic
- loop formulas
- artificial intelligence