Temporal disjunctive logic programming (Q5929097)
From MaRDI portal
scientific article; zbMATH DE number 1588284
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Temporal disjunctive logic programming |
scientific article; zbMATH DE number 1588284 |
Statements
Temporal disjunctive logic programming (English)
0 references
17 April 2001
0 references
Disjunctive Chronolog
0 references