If you made any changes in Pure these will be visible here soon.

Research Output 2001 2019

Filter
Other report
2009
19 Downloads (Pure)

SEA09: Software Engineering for Answer Set Programming

De Vos, M. (ed.) & Torsten, S. (ed.), Nov 2009, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2009-20)

Research output: Book/ReportOther report

File
2007
25 Downloads (Pure)

SEA'07: Software engineering for answer set programming

de Vos, M. & Schaub, T., Jul 2007, University of Bath, Department of Computer Science. (Computer Science Technical Reports; no. CSBU-2007-05)

Research output: Book/ReportOther report

File
2006
19 Downloads (Pure)

An application of answer set programming: Superoptimisation (A preliminary report)

Brain, M. J., Crick, T., Fitch, J. P. & de Vos, M., Apr 2006, University of Bath, Department of Computer Science. (Computer Science Technical Reports; no. CSBU-2006-05)

Research output: Book/ReportOther report

File
2005

Specifying and analysing agent-based social institutions using answer set programming

Cliffe, O., Padget, J. A. & De Vos, M., 2005, (Unpublished) Bath, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Research output: Book/ReportOther report