Logic Programming (Q5475789)
From MaRDI portal
scientific article; zbMATH DE number 5036428
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logic Programming |
scientific article; zbMATH DE number 5036428 |
Statements
Logic Programming (English)
0 references
27 June 2006
0 references
Temporal logic programming
0 references
framing
0 references
minimal model
0 references
monotonicity
0 references
semantics
0 references
