A Formal Framework for Synthesis and Verification of Logic Programs.
Alessandro AvelloneMauro FerrariCamillo FiorentiniPublished in: LOPSTR (LNCS 2042: Selected Papers) (2000)
Keyphrases
- logic programs
- logic programming
- abductive logic programming
- answer sets
- answer set programming
- functional programs
- abductive reasoning
- term rewriting systems
- background knowledge
- stable models
- partial deduction
- prolog programs
- computational properties
- knowledge base
- inductive logic programming
- model theoretic
- stable model semantics
- model checking
- software engineering