Automated Verification of Equivalence Properties in Advanced Logic Programs - Bachelor Thesis.
Jan HeuerPublished in: CoRR (2023)
Keyphrases
- logic programs
- automated verification
- logic programming
- strong equivalence
- answer set semantics
- answer sets
- stable models
- answer set programming
- fixpoint
- model checking
- partial deduction
- background knowledge
- inductive logic programming
- formal verification
- term rewriting systems
- automated reasoning
- computational properties
- prolog programs
- horn clauses
- stable model semantics
- desirable properties
- answer set programs
- autoepistemic logic
- normal logic programs
- probabilistic reasoning
- recursive programs
- programming language
- knowledge representation