ACM Transactions on Computational Logic (TOCL)

Accepted Papers, 2007

Volume 8, Number 1 (January 2007)

A System of Interaction and Structure Alessio Guglielmi
Compilability of Propositional Abduction Paolo Liberatore and Marco Schaerf
Results on the Quantitative Mu-Calculus Annabelle McIver and Carroll Morgan
On Compositionality and its Limitations Alex Rabinovich
Logical Characterizations of Heap Abstractions G. Yorsh, T. Reps, M. Sagiv and R. Wilhelm
Abstract Canonical Inference Maria Paola Bonacina and Nachum Dershowitz

Volume 8, Number 2 (April 2007)

Sound and Complete Elimination of Singleton Kinds Karl Crary
Recycling Computed Answers in Rewrite Systems for Abduction Fangzhen Lin and Jia-Huai You
Where Fail-Safe Default Logics Fail Paolo Liberatore
Logical Definability and Query Languages over Ranked and Unranked Trees M. Benedikt, L. Libkin and F. Neven
On Unification for Bounded Distributive Lattices Viorica Sofronie-Stokkermans
The Arithmetical Complexity of Dimension and Randomness John M. Hitchcock, Jack H. Lutz, Sebastiaan A. Terwijn

Volume 8, Number 3 (July 2007)

PELCR: Parallel Environment for Optimal Lambda Calculus Reduction M. Pedicini, F. Quaglia
Ordinary Interactive Small-Step Algorithms II Andreas Blass and Yuri Gurevich
Ordinary Interactive Small-Step Algorithms III Andreas Blass and Yuri Gurevich
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming Thomas Eiter, Michael Fink, and Stefan Woltran (Electronic Appendix)
Paraconsistent Reasoning and Preferential Entailments by Signed Quantified Boolean Formulae Ofer Arieli

Volume 8, Number 4 (August 2007)

The Axiomatic Translation Principle for Modal Logic Renate A. Schmidt and Ullrich Hustadt
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing Sophie Laplante, Richard Lassaigne, Frederic Magniez, Sylvain Peyronnet and Michel de Rougemont
First-Order Queries on Structures of Bounded Degree Are Computable with Constant Delay Arnaud Durand and Etienne Grandjean
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics Nicola Olivetti, Gian Luca Pozzato and Camilla Schwind
Removing Propagation Redundant Constraints in Redundant Modeling Chiu Wo Choi, Jimmy Ho-Man Lee and Peter J. Stuckey
Probabilistic Interval XML Edward Hung, Lise Getoor and V.S. Subrahmanian

Back to home page