ACM DL

Computational Logic (TOCL)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Computational Logic (TOCL), Volume 12 Issue 3, May 2011

Modal abstractions of concurrent behavior
Flemming Nielson, Sebastian Nanz, Hanne Riis Nielson
Article No.: 18
DOI: 10.1145/1929954.1929955

We present an effective algorithm for the automatic construction of finite modal transition systems as abstractions of potentially infinite concurrent processes. Modal transition systems are recognized as valuable abstractions for model checking...

Alternating automata on data trees and XPath satisfiability
Marcin Jurdziński, Ranko Lazić
Article No.: 19
DOI: 10.1145/1929954.1929956

A data tree is an unranked ordered tree whose every node is labeled by a letter from a finite alphabet and an element (“datum”) from an infinite set, where the latter can only be compared for equality. The article considers alternating...

Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
Jos De Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits
Article No.: 20
DOI: 10.1145/1929954.1929957

In the context of the Semantic Web, several approaches for combining ontologies, given in terms of theories of classical first-order logic and rule bases, have been proposed. They either cast rules into classical logic or limit the interaction...

Proposition algebra
Jan A. Bergstra, Alban Ponse
Article No.: 21
DOI: 10.1145/1929954.1929958

Sequential propositional logic deviates from conventional propositional logic by taking into account that during the sequential evaluation of a propositional statement, atomic propositions may yield different Boolean values at repeated...

A calculus of multiary sequent terms
José Espírito Santo, Luís Pinto
Article No.: 22
DOI: 10.1145/1929954.1929959

Multiary sequent terms were originally introduced as a tool for proving termination of permutative conversions in cut-free sequent calculus. This work develops the language of multiary sequent terms into a term calculus for the computational...