Output details
11 - Computer Science and Informatics
University of Bath
Return to search
Output 0 of 0 in the submission
Article title
The significance of memory costs in answer set solver implementation
Type
D - Journal article
Title of journal
Journal of Logic and Computation
Article number
-
Volume number
19
Issue number
4
First page of article
615
ISSN of journal
0955-792X
Year of publication
2009
Number of additional authors
1
Additional information
<22>This work resulted from a collaboration with the National Institute of Informatics in Japan. The work has furthered the development of answer set solvers, especially since it was one of the first to take the underlying architecture into account; see for instance the work of the Potsdam research group (e.g. Gebser, Kaminski, Kaufmann and Schaub "Answer Set Solving in Practice" doi:10.2200/S00457ED1V01Y201211AIM019). This work underpins further work by Brain (as PDRA) on a project on automated methods for quality assurance in hardware and software at Oxford.
Interdisciplinary
-
Cross-referral requested
-
Research group
B - Intelligent Systems
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
