Combining Logic Programs and Monadic Second Order Logics by Program Transformation
Fabio FioravantiAlberto PettorossiMaurizio ProiettiPublished in: CoRR (2003)
Keyphrases
- logic programs
- prolog programs
- valued logic
- logic programming
- partial deduction
- declarative semantics
- deductive databases
- stable model semantics
- loop formulas
- recursive programs
- computational properties
- semantics of logic programs
- magic sets
- functional programs
- fixpoint
- answer sets
- answer set programs
- function symbols
- datalog programs
- answer set programming
- stable models
- background knowledge
- classical logic
- normal logic programs
- transformation rules
- inductive logic programming
- term rewriting systems
- autoepistemic logic
- answer set semantics
- modal logic
- object oriented
- inference rules
- integrity constraints
- expressive power
- logic program updates
- minimal models
- truth values
- nonmonotonic logics