ACM Transactions on Computational Logic (TOCL)

Accepted Papers, 2000

Editorial, Krzysztof R. Apt

Regular Papers

• Mechanizing UNITY in Isabelle, Larry Paulson
• Logics with Counting and Local Properties, Leonid Libkin
• On Hoare Logic and Kleene Algebra with Tests, Dexter Kozen
• Sequential Abstract State Machines Capture Sequential Algorithms, Yuri Gurevich
• Locality of Order-Invariant First-Order Formulas, Martin Grohe and Thomas Schwentick
• Compilability and Compact Representations of Revision of Horn Knowledge Bases, Paolo Liberatore
• Verifying Continuous Time Markov Chains, Adnan Aziz, Kumud Sanwal, Vigyan Singhal and Robert Brayton
• A Note on the Complexity of Propositional Hoare Logic, Ernie Cohen and Dexter Kozen

• First-Order Conditional Logic for Default Reasoning Revisited, Nir Friedman, Joseph Y. Halpern and Daphne Koller
• Probabilistic Agent Programs, Jürgen Dix, Mirco Nanni and V.S. Subrahmanian
• Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast, Alessio R Lomuscio, Ron van der Meyden and Mark Ryan
• Search and Strategies in OPL, Pascal Van Hentenryck, Laurent Perron and Jean-Francois Puget