ACM Transactions on Computational Logic (TOCL)

Accepted Papers, 2006

Volume 7, Number 1 (January 2006)

Unfolding Partiality and Disjunctions in Stable Model Semantics T. Janhunen, I. Niemela, D. Seipel, P. Simons and J. You
Predicate-Calculus Based Logics for Modeling and Solving Search Problems Deborah East and Mirek Truszczynski
Complexity Results on DPLL and Resolution Paolo Liberatore
Monodic Temporal Resolution Anatoly Degtyarev, Michael Fisher and Boris Konev
Heterogeneous Temporal Probabilistic Agents Juergen Dix, Sarit Kraus and VS Subrahmanian

Volume 7, Number 2 (April 2006)

Constant-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations Russell Impagliazzo and Nathan Segerlind
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic Paolo Coppola and Simone Martini
Why Are There So Many Loop Formulas? Vladimir Lifschitz and Alexander Razborov
Decidability Results for Sets with Atoms Agostino Dovier, Andrea Formisano and Eugenio Omodeo
Propositional Computability Logic I Giorgi Japaridze
Propositional Computability Logic II Giorgi Japaridze
Ordinary Interactive Small-Step Algorithms I Andreas Blass and Yuri Gurevich

Volume 7, Number 3 (July 2006)

Logic Program Based Updates Yan Zhang
Fast Verification of MLL Proof Nets via IMLL A.S. Murawski and C.-H. L. Ong
The DLV System for Knowledge Representation and Reasoning Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, and Francesco Scarcello
Soft Concurrent Constraint Programming S. Bistarelli, U. Montanari, and F. Rossi
Comprehending Software Correctness Implies Comprehending an Intelligence-Related Limitation Arthur Charlesworth

Volume 7, Number 4 (October 2006)

Domain-Dependent Knowledge in Answer Set Planning Tran Cao Son, Chitta Baral, Nam Tran, and Sheila McIlraith
Defining Functions on Equivalence Classes Larry Paulson
Extensional Equivalence and Singleton Types Christopher A. Stone and Robert Harper
Efficient Solving of Quantified Inequality Constraints over the Real Numbers Stefan Ratschan
The Strength of Replacement in Weak Arithmetic Stephen Cook and Neil Thapen
Splitting an Operator: Algebraic Modularity Results for Logics with Fixpoint Semantics Joost Vennekens, David Gilis and Marc Denecker
Kleene Algebra with Domain J. Desharnais, B. Möller, G. Struth

Back to home page