Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs.
Jorge FandinnoDavid PearceConcepción VidalStefan WoltranPublished in: Algorithms (2022)
Keyphrases
- answer set programs
- answer set programming
- reasoning tasks
- answer sets
- logic programs
- knowledge representation
- knowledge base
- stable models
- description logics
- game theory
- machine learning
- production rules
- reasoning systems
- spatial reasoning
- logic programming
- computational properties
- knowledge representation and reasoning
- defeasible logic
- expert systems