Implementing dynamic answer set programming over finite traces
- Cabalar, P.
- Diéguez, M.
- Schaub, T.
- Laferriere, F.
ISSN: 0922-6389
ISBN: 9781643681009
Year of publication: 2020
Volume: 325
Pages: 656-663
Type: Conference paper
ISSN: 0922-6389
ISBN: 9781643681009
Year of publication: 2020
Volume: 325
Pages: 656-663
Type: Conference paper