Towards Metric Temporal Answer Set Programming
- Cabalar, P.
- Diéguez, M.
- Schaub, T.
- Schuhmann, A.
ISSN: 1475-3081, 1471-0684
Year of publication: 2020
Volume: 20
Issue: 5
Pages: 783-798
Type: Conference paper
ISSN: 1475-3081, 1471-0684
Year of publication: 2020
Volume: 20
Issue: 5
Pages: 783-798
Type: Conference paper