TOCL: Just Accepted

ACM Transactions on Computational LogicJust Accepted

Just Accepted

The below articles have been recently accepted to the journal and are currently in the production process. These Author’s Accepted Manuscripts (AAM) will be available for preview until the “Version of Record” is available and assigned to its proper issue. The AAM carries the article’s permanent DOI and can be cited immediately.

Editor-in-Chief:

Anuj Dawar

Select All

Export Citations Save to Binder

research-article

Free

JUST ACCEPTED

Model Checking Strategic Abilities in Information-sharing Systems

https://doi.org/10.1145/3704919

We introduce a subclass of concurrent game structures (CGS) with imperfect information in which agents are endowed with private data-sharing capabilities. Importantly, our CGSs are such that it is still decidable to model-check these CGSs against a ...

research-article

Free

JUST ACCEPTED

A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns

https://doi.org/10.1145/3704265

Higher-order unification has been shown to be undecidable [Huet 1973]. Miller discovered the pattern fragment and subsequently showed that higher-order pattern unification is decidable and has most general unifiers [1991]. We extend the algorithm to ...