ACM Transactions on Computational Logic (TOCL)

Accepted Papers, 2001

Volume 2, Number 1 (January 2001)

Inadequacy of Computable Loop Invariants, Andreas Blass and Yuri Gurevich
Clausal Temporal Resolution, Michael Fisher, Clare Dixon and Martin Peim
Termination Proofs for Logic Programs with Tabling , Sofie Verbaeten, Danny De Schreye and Konstantinos Sagonas
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic, Randal E. Bryant, Steven German and Miroslav N. Velev
Logics Capturing Local Properties, Leonid Libkin

Volume 2, Number 2 (April 2001)

A Decision Procedure for Term Algebras with Queues, Tatiana Rybina and Andrei Voronkov
How to Optimize Proof-search in Modal Logics: a New Way of Proving Redundancy Criteria for Sequent Calculi, Andrei Voronkov
MSO Definable String Transductions and Two-way Finite State Transducers, Joost Engelfriet and Hendrik Jan Hoogeboom
Representation Results for Defeasible Logic, Grigoris Antoniou, David Billington, Guido Governatori and Michael Maher

Volume 2, Number 3 (July 2001)

Probabilistic Logic Programming with Conditional Constraints, Thomas Lukasiewicz
Proof-Complexity Results for Nonmonotonic Reasoning, Uwe Egly and Hans Tompits
Parametric Temporal Logic for "Model Measuring", Rajeev Alur, Kousha Etessami, Salvatore La Torre and Doron Peled
Weak Alternating Automata Are Not That Weak, Orna Kupferman and Moshe Vardi

Volume 2, Number 4 (October 2001)

Editorial, Krzysztof R. Apt, Antonis C. Kakas and Fariba Sadri

Regular Papers

On Knowledge-Based Programming with Sensing in the Situation Calculus, Ray Reiter
An Extended Transformation Approach to Inductive Logic Programming, Nada Lavrac and Peter Flach
Incremental Execution of Guarded Theories, Giuseppe De Giacomo, Hector J. Levesque and Sebastian Sardina
Strongly Equivalent Logic Programs, V. Lifschitz, D. Pearce and A. Valverde
Verifying Security Protocols as Planning in Logic Programming, Luigia Carlucci Aiello and Fabio Massacci
A Computational Theory of Normative Positions, Marek Sergot
Logic Programming Revisited: Logic Programs as Inductive Definitions, Marc Denecker, Maurice Bruynooghe and Victor Marek

Back to home page