Solving logic program conflict through strong and weak forgettings.
Yan ZhangNorman Y. FooPublished in: Artif. Intell. (2006)
Keyphrases
- strong and weak forgettings
- logic programs
- computational properties
- semantic properties
- propositional theories
- logic programming
- expressive power
- answer sets
- fixpoint
- computational problems
- stable models
- normal logic programs
- description logics
- answer set programming
- machine learning
- answer set semantics
- artificial intelligence
- inductive logic programming