Temporal equilibrium logic: A survey
- Aguado, F.
- Cabalar, P.
- Diéguez, M.
- Pérez, G.
- Vidal, C.
ISSN: 1166-3081, 1958-5780
Year of publication: 2013
Volume: 23
Issue: 1-2
Pages: 2-24
Type: Conference paper
ISSN: 1166-3081, 1958-5780
Year of publication: 2013
Volume: 23
Issue: 1-2
Pages: 2-24
Type: Conference paper