Truth versus information in logic programming (Q2933087): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Set OpenAlex properties. |
||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3105042245 / rank | |||
Normal rank |
Latest revision as of 10:29, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Truth versus information in logic programming |
scientific article |
Statements
Truth versus information in logic programming (English)
0 references
10 December 2014
0 references
declarative debugging
0 references
information order
0 references
intended interpretation
0 references
logic program specification
0 references
many-valued logic
0 references
modes
0 references
program analysis
0 references
specification semantics
0 references
0 references
0 references