Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (Q4982058)
From MaRDI portal
scientific article; zbMATH DE number 6418431
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs |
scientific article; zbMATH DE number 6418431 |
Statements
Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (English)
0 references
23 March 2015
0 references
annotated logic programming
0 references
bilattices
0 references
declarative semantics
0 references
operational semantics
0 references
SLD-resolution
0 references
