Train Scheduling with Hybrid Answer Set Programming (Q4957222)
From MaRDI portal
scientific article; zbMATH DE number 7390873
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Train Scheduling with Hybrid Answer Set Programming |
scientific article; zbMATH DE number 7390873 |
Statements
Train Scheduling with Hybrid Answer Set Programming (English)
0 references
3 September 2021
0 references
constraints
0 references
knowledge representation and nonmonotonic reasoning
0 references
logic programming methodology and application
0 references