Combining Logic Programs and Monadic Second Order Logics by Program Transformation.
Fabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: LOPSTR (2002)
Keyphrases
- logic programs
- prolog programs
- valued logic
- partial deduction
- logic programming
- declarative semantics
- loop formulas
- stable model semantics
- deductive databases
- semantics of logic programs
- computational properties
- functional programs
- stable models
- recursive programs
- fixpoint
- answer sets
- magic sets
- answer set programming
- function symbols
- datalog programs
- answer set programs
- classical logic
- normal logic programs
- inductive logic programming
- transformation rules
- autoepistemic logic
- background knowledge
- logic programming language
- integrity constraints
- strong equivalence
- program synthesis
- answer set semantics
- truth values
- reasoning tasks
- declarative programming
- modal logic