TMPR for Disjunctive Logic Programming and Usefulness of Strong and Exclusion Negation.
Taïeb MellouliPublished in: GI Jahrestagung (1994)
Keyphrases
- disjunctive logic programming
- disjunctive datalog
- logic programming
- logic programs
- answer set programming
- knowledge representation and reasoning
- polynomial hierarchy
- knowledge representation
- learning algorithm
- computational complexity
- expert systems
- special case
- np complete
- orders of magnitude
- deductive databases
- fixpoint