Journal of Logic and Computation

Editorial

Stefania Costantini and Richard Watson

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

Original Articles

Get checked abstract 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]  

Get checked abstract 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]  

Get checked abstract 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]  

Get checked abstract 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]  

Get checked abstract 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]  

Get checked abstract 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]  

Get checked abstract 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.