Solving Logic Program Conflict through Strong and Weak Forgettings.
Yan ZhangNorman Y. FooKewen WangPublished in: IJCAI (2005)
Keyphrases
- strong and weak forgettings
- logic programs
- computational properties
- semantic properties
- propositional theories
- logic programming
- answer sets
- answer set programming
- expressive power
- fixpoint
- description logics
- stable models
- inductive logic programming
- inside outside algorithm
- normal logic programs
- logic program updates
- general logic programs
- database systems
- computational problems
- semantic knowledge
- prolog programs
- loop formulas
- query evaluation