ACM DL

Computational Logic (TOCL)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computational Logic (TOCL), Volume 8 Issue 3, July 2007

PELCR: Parallel environment for optimal lambda-calculus reduction
Marco Pedicini, Francesco Quaglia
Article No.: 14
DOI: 10.1145/1243996.1243997

In this article we present the implementation of an environment supporting Lévy's optimal reduction for the λ-calculus on parallel (or distributed) computing systems. In a similar approach to Lamping's, we base our work on a...

Ordinary interactive small-step algorithms, II
Andreas Blass, Yuri Gurevich
Article No.: 15
DOI: 10.1145/1243996.1243998

This is the second in a series of three articles extending the proof of the Abstract State Machine Thesis---that arbitrary algorithms are behaviorally equivalent to abstract state machines---to algorithms that can interact with their environments...

Ordinary interactive small-step algorithms, III
Andreas Blass, Yuri Gurevich
Article No.: 16
DOI: 10.1145/1243996.1243999

This is the third in a series of three articles extending the proof of the Abstract State Machine thesis---that arbitrary algorithms are behaviorally equivalent to abstract state machines---to algorithms that can interact with their environments...

Semantical characterizations and complexity of equivalences in answer set programming
Thomas Eiter, Michael Fink, Stefan Woltran
Article No.: 17
DOI: 10.1145/1243996.1244000

In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs PR and QR have the same answer sets...

Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
Ofer Arieli
Article No.: 18
DOI: 10.1145/1243996.1244001

We introduce a uniform approach of representing a variety of paraconsistent nonmonotonic formalisms by quantified Boolean formulae (QBFs) in the context of multiple-valued logics. We show that this framework provides a useful platform for...