UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Answer Set Programming and S4.

Osorio, M; Pérez, JAN; (2004) Answer Set Programming and S4. In: Lemaître, C and García, CAR and González, JA, (eds.) IBERAMIA. (pp. 353 - 353). Springer

Full text not available from this repository.


Type:Proceedings paper
Title:Answer Set Programming and S4.
ISBN:3-540-23806-9
DOI:10.1007/978-3-540-30498-2_36
Publisher version:http://www.informatik.uni-trier.de/~ley/db/conf/iberamia/iberamia2004.html
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record