Logic Programming (Q5191482)
From MaRDI portal
scientific article; zbMATH DE number 5590948
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic Programming |
scientific article; zbMATH DE number 5590948 |
Statements
Logic Programming (English)
0 references
6 August 2009
0 references
uniform equivalence
0 references
strong equivalence
0 references
stable models
0 references
answer set semantics
0 references
computational complexity
0 references
program optimization
0 references