J Logic Computation -- Journal of Logic and Computation Advance Access

Journal of Logic and Computation Advance Access

Journal of Logic and Computation Advance Access articles are papers that have been copyedited and typeset but not yet paginated for inclusion in an issue of the journal. More information, including how to cite Advance Access papers, can be found on the Advance Access page.

Advance Access Articles By Date [View by Category]

To see an article, click its [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.

26 June 2009

Abstract Original Papers: Zofia Kostrzycka
On the Density of Truth of Locally Finite Logics
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp034
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Phan Minh Thang, Phan Minh Dung, and Nguyen Duy Hung
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp032
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, and Ventura Verdú
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp030
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Manuel Bodirsky and Hubie Chen
Qualitative Temporal and Spatial Reasoning Revisited
Journal of Logic and Computation Advance Access published on June 26, 2009.
doi:10.1093/logcom/exp025
[Abstract] [PDF] [References] [Request Permissions]

16 June 2009

Abstract Original Papers: Chunlai Zhou
A Complete Deductive System for Probability Logic
Journal of Logic and Computation Advance Access published on June 16, 2009.
doi:10.1093/logcom/exp031
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Rafael H. Bordini, Michael Fisher, Michael Wooldridge, and Willem Visser
Property-based Slicing for Agent Verification
Journal of Logic and Computation Advance Access published on June 16, 2009.
doi:10.1093/logcom/exp029
[Abstract] [PDF] [References] [Request Permissions]

4 May 2009

Abstract Original Papers: Manuela Busaniche and Roberto Cignoli
Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
Journal of Logic and Computation Advance Access published on May 4, 2009.
doi:10.1093/logcom/exp028
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Vladimir Rybakov
Linear Temporal Logic $L$ $T$ $L$ _K extended by Multi-Agent Logic K_n with Interacting Agents
Journal of Logic and Computation Advance Access published on May 4, 2009.
doi:10.1093/logcom/exp027
[Abstract] [PDF] [References] [Request Permissions]

Editorial and call for papers: Walter Carnielli and Heinrich Wansing
The Non-classical Logics Corner of the Journal of Logic and Computation
Journal of Logic and Computation Advance Access published on May 4, 2009.
doi:10.1093/logcom/exp026
[PDF] [Request Permissions]

22 April 2009

Abstract Original Papers: Amilcar Sernadas, Cristina Sernadas, Joao Rasga, and Marcelo Coniglio
A Graph-theoretic Account of Logics
Journal of Logic and Computation Advance Access published on April 22, 2009.
doi:10.1093/logcom/exp023
[Abstract] [PDF] [References] [Request Permissions]

26 March 2009

Abstract Original Papers: Tommaso Flaminio, Lluís Godo, and Enrico Marchioni
On the Logical Formalization of Possibilistic Counterparts of States over n-valued $L$ ukasiewicz Events
Journal of Logic and Computation Advance Access published on March 26, 2009.
doi:10.1093/logcom/exp012
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Adam Wyner and Trevor Bench-Capon
Modelling Judicial Context in Argumentation Frameworks
Journal of Logic and Computation Advance Access published on March 26, 2009.
doi:10.1093/logcom/exp009
[Abstract] [PDF] [References] [Request Permissions]

Editorial: Trevor Bench-Capon and Henry Prakken
Editorial
Journal of Logic and Computation Advance Access published on March 26, 2009.
doi:10.1093/logcom/exn105
[PDF] [References] [Request Permissions]

18 March 2009

Abstract Original Papers: Hans Weber
Measures and Topologies on MV-algebras
Journal of Logic and Computation Advance Access published on March 18, 2009.
doi:10.1093/logcom/exp019
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Tommaso Flaminio and Franco Montagna
Models for Many-Valued Probabilistic Reasoning
Journal of Logic and Computation Advance Access published on March 18, 2009.
doi:10.1093/logcom/exp013
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Anatolij Dvurecenskij
On States on MV-algebras and their Applications
Journal of Logic and Computation Advance Access published on March 18, 2009.
doi:10.1093/logcom/exp011
[Abstract] [PDF] [References] [Request Permissions]

13 March 2009

Abstract Original Papers: Zdenka Riecanová and Jan Paseka
State Smearing Theorems and the Existence of States on Some Atomic Lattice Effect Algebras
Journal of Logic and Computation Advance Access published on March 13, 2009.
doi:10.1093/logcom/exp018
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Daniele Mundici
A Compact [0,1]-valued First-order $L$ ukasiewicz Logic with Identity on Hilbert Space
Journal of Logic and Computation Advance Access published on March 13, 2009.
doi:10.1093/logcom/exp017
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Roman Fric
States on Bold Algebras: Categorical Aspects
Journal of Logic and Computation Advance Access published on March 13, 2009.
doi:10.1093/logcom/exp014
[Abstract] [PDF] [References] [Request Permissions]

12 March 2009

Abstract Original Papers: Tomás Kroupa
Core of Coalition Games on MV-algebras
Journal of Logic and Computation Advance Access published on March 12, 2009.
doi:10.1093/logcom/exp015
[Abstract] [PDF] [References] [Request Permissions]

10 March 2009

Abstract Original Papers: Zofia Kostrzycka
On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
Journal of Logic and Computation Advance Access published on March 10, 2009.
doi:10.1093/logcom/exp020
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Ioana Leustean
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
Journal of Logic and Computation Advance Access published on March 10, 2009.
doi:10.1093/logcom/exp016
[Abstract] [PDF] [References] [Request Permissions]

5 March 2009

Abstract Original Papers: Stefan Blom, Bert Lisser, Jaco Van De Pol, and Michael Weber
A Database Approach to Distributed State-Space Generation
Journal of Logic and Computation Advance Access published on March 5, 2009.
doi:10.1093/logcom/exp004
[Abstract] [PDF] [References] [Request Permissions]

27 February 2009

Abstract Original Papers: C. Bertini and R. Leporini
An Axiomatic System Suggested by Quantum Computation
Journal of Logic and Computation Advance Access published on February 27, 2009.
doi:10.1093/logcom/exp008
[Abstract] [PDF] [References] [Request Permissions]

26 February 2009

Abstract Original Papers: Andreas Bauer, Martin Leucker, and Christian Schallhart
Comparing LTL Semantics for Runtime Verification
Journal of Logic and Computation Advance Access published on February 26, 2009.
doi:10.1093/logcom/exn075
[Abstract] [PDF] [References] [Request Permissions]

20 February 2009

Abstract Original Papers: Ming-Ying Chung and Gianfranco Ciardo
Speculative Image Computation for Distributed Symbolic Reachability Analysis
Journal of Logic and Computation Advance Access published on February 20, 2009.
doi:10.1093/logcom/exp005
[Abstract] [PDF] [References] [Request Permissions]

17 February 2009

Abstract Original Papers: Jirí Barnat, Jakub Chaloupka, and Jaco Van De Pol
Distributed Algorithms for SCC Decomposition
Journal of Logic and Computation Advance Access published on February 17, 2009.
doi:10.1093/logcom/exp003
[Abstract] [PDF] [References] [Request Permissions]

12 February 2009

Abstract Original Papers: Jonathan Ezekiel, Gerald Lüttgen, and Radu Siminiceanu
To Parallelize or to Optimize?
Journal of Logic and Computation Advance Access published on February 12, 2009.
doi:10.1093/logcom/exp006
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: J. Adámek, H. P. Gumm, and V. Trnková
Presentation of Set Functors: A Coalgebraic Perspective
Journal of Logic and Computation Advance Access published on February 12, 2009.
doi:10.1093/logcom/exn090
[Abstract] [PDF] [References] [Request Permissions]

9 February 2009

Abstract Original Papers: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, and Christian Herde
Parallel SAT Solving in Bounded Model Checking
Journal of Logic and Computation Advance Access published on February 9, 2009.
doi:10.1093/logcom/exp002
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Emiliano Lorini, Dominique Longin, Benoit Gaudou, and Andreas Herzig
The Logic of Acceptance: Grounding Institutions on Agents’ Attitudes
Journal of Logic and Computation Advance Access originally published on February 9, 2009. This version published March 26, 2009.
doi:10.1093/logcom/exn103
[Abstract] [PDF] [References] [Request Permissions]

3 February 2009

Abstract Original Papers: Bart Jacobs and Ana Sokolova
Exemplaric Expressivity of Modal Logics
Journal of Logic and Computation Advance Access published on February 3, 2009.
doi:10.1093/logcom/exn093
[Abstract] [PDF] [References] [Request Permissions]

22 January 2009

Editorial: Arnon Avron
Proof Theory Corner
Journal of Logic and Computation Advance Access published on January 22, 2009.
doi:10.1093/logcom/exn107
[PDF] [Request Permissions]

Abstract Original Papers: Luca Alberucci
Sequent Calculi for the Modal µ-Calculus over S5
Journal of Logic and Computation Advance Access published on January 22, 2009.
doi:10.1093/logcom/exn106
[Abstract] [PDF] [References] [Request Permissions]

20 January 2009

Abstract Original Papers: Merlijn Sevenster
Model-theoretic and Computational Properties of Modal Dependence Logic
Journal of Logic and Computation Advance Access published on January 20, 2009.
doi:10.1093/logcom/exn102
[Abstract] [PDF] [References] [Request Permissions]

8 January 2009

Abstract Original Papers: Hitoshi Kihara and Hiroakira Ono
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
Journal of Logic and Computation Advance Access published on January 8, 2009.
doi:10.1093/logcom/exn084
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Didier Galmiche and Daniel Méry
Tableaux and Resource Graphs for Separation Logic
Journal of Logic and Computation Advance Access published on January 8, 2009.
doi:10.1093/logcom/exn066
[Abstract] [PDF] [References] [Request Permissions]

23 December 2008

Abstract Original Papers: Davide Bresolin, Valentin Goranko, Angelo Montanari, and Pietro Sala
Tableaux for Logics of Subinterval Structures over Dense Orderings
Journal of Logic and Computation Advance Access published on December 23, 2008.
doi:10.1093/logcom/exn063
[Abstract] [PDF] [References] [Request Permissions]

22 December 2008

Abstract Original Papers: Roberto Giuntini, Francesco Paoli, and Antonio Ledda
Categorical Equivalences for quasi-MV Algebras
Journal of Logic and Computation Advance Access published on December 22, 2008.
doi:10.1093/logcom/exn082
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Lawrence S. Moss
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
Journal of Logic and Computation Advance Access published on December 22, 2008.
doi:10.1093/logcom/exn095
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: N. Bezhanishvili, G. Fontaine, and Y. Venema
Vietoris Bisimulations
Journal of Logic and Computation Advance Access published on December 22, 2008.
doi:10.1093/logcom/exn091
[Abstract] [PDF] [References] [Request Permissions]

17 December 2008

Abstract Original Papers: Lutz Schröder and Dirk Pattinson
Rank-1 Modal Logics are Coalgebraic
Journal of Logic and Computation Advance Access published on December 17, 2008.
doi:10.1093/logcom/exn096
[Abstract] [PDF] [References] [Request Permissions]

12 December 2008

Abstract Original Papers: Robert Goldblatt
Deduction Systems for Coalgebras Over Measurable Spaces
Journal of Logic and Computation Advance Access published on December 12, 2008.
doi:10.1093/logcom/exn092
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Manuela Busaniche and Roberto Cignoli
Constructive Logic with Strong Negation as a Substructural Logic
Journal of Logic and Computation Advance Access published on December 12, 2008.
doi:10.1093/logcom/exn081
[Abstract] [PDF] [References] [Request Permissions]

29 November 2008

Abstract Original Papers: Peter Baumgartner, Ulrich Furbach, and Björn Pelzer
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Journal of Logic and Computation Advance Access originally published on November 29, 2008. This version published December 6, 2008.
doi:10.1093/logcom/exn061
[Abstract] [PDF] [References] [Request Permissions]

27 November 2008

Abstract Original Papers: Giulio Manzonetto and Antonino Salibra
Applying Universal Algebra to Lambda Calculus
Journal of Logic and Computation Advance Access published on November 27, 2008.
doi:10.1093/logcom/exn085
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Eric Bodden, Laurie Hendren, Patrick Lam, Ondrej Lhoták, and Nomair A. Naeem
Collaborative Runtime Verification with Tracematches
Journal of Logic and Computation Advance Access published on November 27, 2008.
doi:10.1093/logcom/exn077
[Abstract] [PDF] [References] [Request Permissions]

26 November 2008

Abstract Original Papers: Lawrence S. Moss
Syllogistic Logics with Verbs
Journal of Logic and Computation Advance Access published on November 26, 2008.
doi:10.1093/logcom/exn086
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Rostislav Horcík
Solutions to Some Open Problems on Totally Ordered Monoids
Journal of Logic and Computation Advance Access published on November 26, 2008.
doi:10.1093/logcom/exn083
[Abstract] [PDF] [References] [Request Permissions]

21 November 2008

Abstract Original Papers: Ciro Russo
Quantale Modules and their Operators, with Applications
Journal of Logic and Computation Advance Access originally published on November 21, 2008. This version published December 22, 2008.
doi:10.1093/logcom/exn088
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Howard Barringer, David Rydeheard, and Klaus Havelund
Rule Systems for Run-time Monitoring: from EAGLE to RULER
Journal of Logic and Computation Advance Access published on November 21, 2008.
doi:10.1093/logcom/exn076
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, and Tiago De Lima
Tableaux for Public Announcement Logic
Journal of Logic and Computation Advance Access published on November 21, 2008.
doi:10.1093/logcom/exn060
[Abstract] [PDF] [References] [Request Permissions]

20 November 2008

Abstract Original Papers: J.G. Raftery
A Non-finitary Sentential Logic that is Elementarily Algebraizable
Journal of Logic and Computation Advance Access published on November 20, 2008.
doi:10.1093/logcom/exn087
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Neil V. Murray and Erik Rosenthal
Reduced Implicate Tries with Updates
Journal of Logic and Computation Advance Access published on November 20, 2008.
doi:10.1093/logcom/exn068
[Abstract] [PDF] [References] [Request Permissions]

18 November 2008

Abstract Original Papers: André Platzer
Differential-algebraic Dynamic Logic for Differential-algebraic Programs
Journal of Logic and Computation Advance Access originally published on November 18, 2008. This version published December 5, 2008.
doi:10.1093/logcom/exn070
[Abstract] [PDF] [References] [Request Permissions]

17 November 2008

Abstract Original Papers: Volker Stolz
Temporal Assertions with Parametrized Propositions
Journal of Logic and Computation Advance Access published on November 17, 2008.
doi:10.1093/logcom/exn078
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Regimantas Pliuskevicius and Aida Pliuskeviciene
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
Journal of Logic and Computation Advance Access published on November 17, 2008.
doi:10.1093/logcom/exn071
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Matthias Baaz and George Metcalfe
Herbrand's Theorem, Skolemization and Proof Systems for First-Order $L$ ukasiewicz Logic
Journal of Logic and Computation Advance Access published on November 17, 2008.
doi:10.1093/logcom/exn059
[Abstract] [PDF] [References] [Request Permissions]

16 November 2008

Abstract Original Papers: Ingolf H. Krüger, Michael Meisinger, and Massimiliano Menarini
Interaction-based Runtime Verification for Systems of Systems Integration
Journal of Logic and Computation Advance Access published on November 16, 2008.
doi:10.1093/logcom/exn079
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Rajeev Goré and Linda Postniece
Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
Journal of Logic and Computation Advance Access published on November 16, 2008.
doi:10.1093/logcom/exn067
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Marcelo Finger
Analytic Methods for the Logic of Proofs
Journal of Logic and Computation Advance Access published on November 16, 2008.
doi:10.1093/logcom/exn065
[Abstract] [PDF] [References] [Request Permissions]

14 November 2008

Abstract Original Papers: Stefano Aguzzoli and Vincenzo Marra
Finitely Presented MV-algebras with Finite Automorphism Group
Journal of Logic and Computation Advance Access published on November 14, 2008.
doi:10.1093/logcom/exn080
[Abstract] [PDF] [References] [Request Permissions]

13 November 2008

Abstract Original Papers: Nicolas Peltier
Bottom-up Construction of Semantic Tableaux
Journal of Logic and Computation Advance Access published on November 13, 2008.
doi:10.1093/logcom/exn069
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Shoham Ben-David, Richard Trefler, and Grant Weddell
Model Checking Using Description Logic
Journal of Logic and Computation Advance Access published on November 13, 2008.
doi:10.1093/logcom/exn062
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Franz Baader and Rafael Peñaloza
Axiom Pinpointing in General Tableaux
Journal of Logic and Computation Advance Access originally published on November 13, 2008. This version published November 13, 2008.
doi:10.1093/logcom/exn058
[Abstract] [PDF] [References] [Request Permissions]

18 October 2008

Abstract Original Papers: Kevin Ottens, Nathalie Hernandez, Marie-Pierre Gleizes, and Nathalie Aussenac-Gilles
A Multi-Agent System for Dynamic Ontologies
Journal of Logic and Computation Advance Access originally published on October 18, 2008. This version published October 22, 2008.
doi:10.1093/logcom/exn050
[Abstract] [PDF] [References] [Request Permissions]

30 September 2008

Abstract Original Papers: Silvana Castano, Irma Sofia Espinosa Peraldi, Alfio Ferrara, Vangelis Karkaletsis, Atila Kaya, Ralf Möller, Stefano Montanelli, Georgios Petasis, and Michael Wessel
Multimedia Interpretation for Dynamic Ontology Evolution
Journal of Logic and Computation Advance Access published on September 30, 2008.
doi:10.1093/logcom/exn049
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: Jennifer Golbeck and Christian Halaschek-Wiener
Trust-based Revision for Expressive Web Syndication
Journal of Logic and Computation Advance Access published on September 30, 2008.
doi:10.1093/logcom/exn045
[Abstract] [PDF] [References] [Request Permissions]

5 September 2008

Abstract Original Papers: Márcio M. Ribeiro and Renata Wassermann
Base Revision for Ontology Debugging
Journal of Logic and Computation Advance Access published on September 5, 2008.
doi:10.1093/logcom/exn048
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: 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.
doi:10.1093/logcom/exn038
[Abstract] [PDF] [References] [Request Permissions]

22 August 2008

Abstract Original Papers: Joe Geldart and William Song
Category-based Equational Reasoning: An Approach to Ontology Integration
Journal of Logic and Computation Advance Access published on August 22, 2008.
doi:10.1093/logcom/exn044
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: 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.
doi:10.1093/logcom/exn040
[Abstract] [PDF] [References] [Request Permissions]

21 August 2008

Abstract Original Papers: 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.
doi:10.1093/logcom/exn043
[Abstract] [PDF] [References] [Supplementary Data] [Request Permissions]

14 August 2008

Abstract Original Papers: Christian Meilicke, Heiner Stuckenschmidt, and Andrei Tamilin
Reasoning Support for Mapping Revision
Journal of Logic and Computation Advance Access published on August 14, 2008.
doi:10.1093/logcom/exn047
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: 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.
doi:10.1093/logcom/exn042
[Abstract] [PDF] [References] [Request Permissions]

9 August 2008

Abstract Original Papers: 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.
doi:10.1093/logcom/exn039
[Abstract] [PDF] [References] [Request Permissions]

6 August 2008

Abstract Original Papers: Giuseppe De Giacomo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati
On Instance-level Update and Erasure in Description Logic Ontologies
Journal of Logic and Computation Advance Access published on August 6, 2008.
doi:10.1093/logcom/exn051
[Abstract] [PDF] [References] [Request Permissions]

Abstract Original Papers: 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.
doi:10.1093/logcom/exn041
[Abstract] [PDF] [References] [Request Permissions]

5 August 2008

Abstract Original Papers: 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.
doi:10.1093/logcom/exn036
[Abstract] [PDF] [References] [Request Permissions]

26 November 2007

Call for Papers: Coalgebra & Logic: Call for Papers: Coalgebra & Logic
Journal of Logic and Computation Advance Access published on November 26, 2007.
doi:10.1093/logcom/exm082
[PDF] [Request Permissions]