ACM Transactions on Computational Logic (TOCL), Volume 7

Volume 7, Number 1, January 2006

• Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You:
  Unfolding partiality and disjunctions in stable model semantics. 1-37
  Electronic Edition (ACM DL) BibTeX
• Deborah East, Miroslaw Truszczynski:
  Predicate-calculus-based logics for modeling and solving search problems. 38-83
  Electronic Edition (ACM DL) BibTeX
• Paolo Liberatore:
  Complexity results on DPLL and resolution. 84-107
  Electronic Edition (ACM DL) BibTeX
• Anatoli Degtyarev, Michael Fisher, Boris Konev:
  Monodic temporal resolution. 108-150
  Electronic Edition (ACM DL) BibTeX
• Jürgen Dix, Sarit Kraus, V. S. Subrahmanian:
  Heterogeneous temporal probabilistic agents. 151-198
  Electronic Edition (ACM DL) BibTeX

Volume 7, Number 2, April 2006

• Russell Impagliazzo, Nathan Segerlind:
  Constant-depth Frege systems with counting axioms polynomially simulate Nullstellensatz refutations. 199-218
  Electronic Edition (ACM DL) BibTeX
• Paolo Coppola, Simone Martini:
  Optimizing optimal reduction: A type inference algorithm for elementary affine logic. 219-260
  Electronic Edition (ACM DL) BibTeX
• Vladimir Lifschitz, Alexander A. Razborov:
  Why are there so many loop formulas? 261-268
  Electronic Edition (ACM DL) BibTeX
• Agostino Dovier, Andrea Formisano, Eugenio G. Omodeo:
  Decidability results for sets with atoms. 269-301
  Electronic Edition (ACM DL) BibTeX
• Giorgi Japaridze:
  Propositional computability logic I. 302-330
  Electronic Edition (ACM DL) BibTeX
• Giorgi Japaridze:
  Propositional computability logic II. 331-362
  Electronic Edition (ACM DL) BibTeX
• Andreas Blass, Yuri Gurevich:
  Ordinary interactive small-step algorithms, I. 363-419
  Electronic Edition (ACM DL) BibTeX

Volume 7, Number 3, July 2006

• Yan Zhang:
  Logic program-based updates. 421-472
  Electronic Edition (ACM DL) BibTeX
• Andrzej S. Murawski, C.-H. Luke Ong:
  Fast verification of MLL proof nets via IMLL. 473-498
  Electronic Edition (ACM DL) BibTeX
• Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello:
  The DLV system for knowledge representation and reasoning. 499-562
  Electronic Edition (ACM DL) BibTeX
• Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
  Soft concurrent constraint programming. 563-589
  Electronic Edition (ACM DL) BibTeX
• Arthur Charlesworth:
  Comprehending software correctness implies comprehending an intelligence-related limitation. 590-612
  Electronic Edition (ACM DL) BibTeX

Volume 7, Number 4, October 2006

• Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith:
  Domain-dependent knowledge in answer set planning. 613-657
  Electronic Edition (ACM DL) BibTeX
• Lawrence C. Paulson:
  Defining functions on equivalence classes. 658-675
  Electronic Edition (ACM DL) BibTeX
• Christopher A. Stone, Robert Harper:
  Extensional equivalence and singleton types. 676-722
  Electronic Edition (ACM DL) BibTeX
• Stefan Ratschan:
  Efficient solving of quantified inequality constraints over the real numbers. 723-748
  Electronic Edition (ACM DL) BibTeX
• Stephen A. Cook, Neil Thapen:
  The strength of replacement in weak arithmetic. 749-764
  Electronic Edition (ACM DL) BibTeX
• Joost Vennekens, David Gilis, Marc Denecker:
  Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. 765-797
  Electronic Edition (ACM DL) BibTeX
• Jules Desharnais, Bernhard Möller, Georg Struth:
  Kleene algebra with domain. 798-833
  Electronic Edition (ACM DL) BibTeX