Interpolation in equilibrium logic and answer set programming: The propositional case

Keyphrases

• Answer Set Programming 100%
• Equilibrium Logic 100%
• Computer Science 50%
• Weak Form 50%
• Inference Relations 50%
• Interpolation Property 50%
• Strong Form 50%
• Non-classical Logics 50%
• Logic Programming 50%
• Disjunctive Logic Programs 50%
• Variable Forgetting 50%
• Uniform Interpolation 50%
• Monotonic Systems 50%
• Answer Set Semantics 50%

Mathematics

• Logic Programming 100%
• Weak Form 50%
• Interpolation Property 50%
• Strong Form 50%
• Classical Logic 50%