Eine Parametrierung reduzierter stabiler Modelle und stabilisierender Regler (A Parameterization of Reduced Stable Models and Controllers).
Amirhossein YousefiBoris LohmannPublished in: Autom. (2007)
Keyphrases
- stable models
- logic programs
- logic programming
- normal logic programs
- general theory
- answer set programming
- deductive databases
- stable model semantics
- fixpoint
- logic programs with negation
- loop formulas
- strong equivalence
- control system
- answer set programs
- answer sets
- inductive logic programming
- database systems
- semantics for logic programs
- databases