First-order Answer Set Programming as Constructive Proof Search (Q4559822)
From MaRDI portal
scientific article; zbMATH DE number 6988668
Language | Label | Description | Also known as |
---|---|---|---|
English | First-order Answer Set Programming as Constructive Proof Search |
scientific article; zbMATH DE number 6988668 |
Statements
First-order Answer Set Programming as Constructive Proof Search (English)
0 references
4 December 2018
0 references
answer set programming
0 references
intuitionistic logic
0 references
proof terms
0 references
lambda calculus
0 references