Computation of Stable Models and Its Integration with Logical Query Processing.
Weidong ChenDavid Scott WarrenPublished in: IEEE Trans. Knowl. Data Eng. (1996)
Keyphrases
- stable models
- query processing
- logic programs
- logic programming
- normal logic programs
- fixpoint
- stable model semantics
- general theory
- deductive databases
- database systems
- query optimization
- answer sets
- index structure
- loop formulas
- answer set programming
- probabilistic reasoning
- logic programs with negation
- query evaluation
- nonmonotonic reasoning
- xml data
- data management
- general purpose
- software engineering
- knowledge representation
- strong equivalence