A parameterization of reduced stable models and controllers.
Amirhossein YousefiBoris LohmannPublished in: Int. J. Control (2008)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- answer set programming
- stable model semantics
- fixpoint
- general theory
- deductive databases
- control system
- answer set programs
- logic programs with negation
- loop formulas
- answer sets
- integrity constraints
- background knowledge
- programming language
- hidden markov models
- database systems
- strong equivalence
- semantics for logic programs