Disjunctive Logic Programming, Constructivity and Strong Negation.
Heinrich HerreDavid PearcePublished in: JELIA (1992)
Keyphrases
- disjunctive logic programming
- disjunctive datalog
- expressive power
- logic programming
- answer set programming
- logic programs
- polynomial hierarchy
- answer sets
- knowledge representation and reasoning
- first order logic
- knowledge representation
- learning algorithm
- default logic
- datalog programs
- randomly chosen
- programming language
- expert systems