On the equivalence of the static and disjunctive well-founded semantics and its computation.
Stefan BrassJürgen DixIlkka NiemeläTeodor C. PrzymusinskiPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- logic programs
- logic programming
- answer sets
- datalog programs
- general logic programs
- strong equivalence
- information retrieval
- fixpoint
- efficient computation
- deductive databases
- information systems
- database
- search algorithm
- answer set programming
- decision trees
- neural network
- defeasible logic
- dynamic analysis
- answer set semantics
- data sets
- real time