Extending Logic Programming with Labelled Variables: Model and Semantics (Q4686514)
From MaRDI portal
scientific article; zbMATH DE number 6946148
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending Logic Programming with Labelled Variables: Model and Semantics |
scientific article; zbMATH DE number 6946148 |
Statements
Extending Logic Programming with Labelled Variables: Model and Semantics (English)
0 references
2 October 2018
0 references
logic programming
0 references
labelled variables
0 references
formal semantics
0 references
meta-interpretation
0 references
situated intelligence
0 references
