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