Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Cover Image
Other Issues:
Previous Next
Contents: Volume 19, Number 4, August 2009   [Index by Author] 

Down Editorial
Down Original Articles

 
Special Issue: Answer Set Programming

Guest Editors: Stefania Costantini and Richard Watson

[Search ALL Issues]


Front Matter (PDF) | Back Matter (PDF) | Table of Contents (PDF)

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Editorial Back

Stefania Costantini and Richard Watson
Editorial
J Logic Computation 2009 19: 537-538; doi:10.1093/logcom/exn037 [PDF] [Request Permissions]  

Original Articles Back

Martin Gebser, Mona Gharib, Robert Mercer, and Torsten Schaub
Monotonic Answer Set Programming
Journal of Logic and Computation Advance Access published on August 22, 2008
J Logic Computation 2009 19: 539-564; doi:10.1093/logcom/exn040 [Abstract] [PDF] [References] [Request Permissions]  

Igor Stéphan, Benoit Da Mota, and Pascal Nicolas
From (Quantified) Boolean Formulae to Answer Set Programming
Journal of Logic and Computation Advance Access published on August 6, 2008
J Logic Computation 2009 19: 565-590; doi:10.1093/logcom/exn041 [Abstract] [PDF] [References] [Request Permissions]  

Emilia Oikarinen and Tomi Janhunen
A Translation-based Approach to the Verification of Modular Equivalence
Journal of Logic and Computation Advance Access published on August 9, 2008
J Logic Computation 2009 19: 591-613; doi:10.1093/logcom/exn039 [Abstract] [PDF] [References] [Request Permissions]  

Martin Brain and Marina De Vos
The Significance of Memory Costs in Answer Set Solver Implementation
Journal of Logic and Computation Advance Access published on September 5, 2008
J Logic Computation 2009 19: 615-641; doi:10.1093/logcom/exn038 [Abstract] [PDF] [References] [Request Permissions]  

Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell’Armi, Giovanni Grasso, and Nicola Leone
OntoDLV: An ASP-based System for Enterprise Ontologies
Journal of Logic and Computation Advance Access published on August 14, 2008
J Logic Computation 2009 19: 643-670; doi:10.1093/logcom/exn042 [Abstract] [PDF] [References] [Request Permissions]  

Giovambattista Ianni, Alessandra Martello, Claudio Panetta, and Giorgio Terracina
Efficiently Querying RDF(S) Ontologies with Answer Set Programming
Journal of Logic and Computation Advance Access published on August 21, 2008
J Logic Computation 2009 19: 671-695; doi:10.1093/logcom/exn043 [Abstract] [PDF] [References] [Supplementary Data] [Request Permissions]  

Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
Journal of Logic and Computation Advance Access published on August 5, 2008
J Logic Computation 2009 19: 697-715; doi:10.1093/logcom/exn036 [Abstract] [PDF] [References] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.