Characterization of Some Semantics for Logic Programs with Negation and Applications to Program Validation.
Bernard MalfonPublished in: ILPS (1994)
Keyphrases
- logic programs with negation
- stable models
- logic programs
- stable model semantics
- declarative semantics
- logic programming
- formal semantics
- intended meaning
- semantics of logic programs
- control flow
- answer set programming
- fixpoint
- deductive databases
- computer programs
- semantically equivalent
- hidden markov models
- static analysis
- relational databases
- relational model
- program execution
- semantic information
- test cases