An infinitary encoding of temporal equilibrium logic
- Cabalar, P.
- Diéguez, M.
- Vidal, C.
ISSN: 1475-3081, 1471-0684
Year of publication: 2015
Volume: 15
Issue: 4-5
Pages: 666-680
Type: Article
Journal:
Theory and Practice of Logic Programming