JOURNAL ISSUE published 28 March 2016 in ACM Transactions on Computational Logic

Propositional computability logic II

JOURNAL ARTICLE published April 2006 in ACM Transactions on Computational Logic

Authors: Giorgi Japaridze

Strategic Knowledge Acquisition

JOURNAL ARTICLE published 30 July 2021 in ACM Transactions on Computational Logic

Authors: Kaya Deuser | Pavel Naumov

Tableau Calculi for Logic Programs under Answer Set Semantics

JOURNAL ARTICLE published June 2013 in ACM Transactions on Computational Logic

Research funded by Deutsche Forschungsgemeinschaft (SCHA 550/8-1/2)

Authors: Martin Gebser | Torsten Schaub

Knowledge in multiagent systems

JOURNAL ARTICLE published October 2000 in ACM Transactions on Computational Logic

Authors: Alessio R. Lomuscio | Ron van der Meyden | Mark Ryan

Back and forth between guarded and modal logics

JOURNAL ARTICLE published July 2002 in ACM Transactions on Computational Logic

Authors: Erich Grädel | Colin Hirsch | Martin Otto

Products, Polynomials and Differential Equations in the Stream Calculus

JOURNAL ARTICLE published 31 January 2024 in ACM Transactions on Computational Logic

Authors: Michele Boreale | Luisa Collodi | Daniele Gorla

Local Search For Satisfiability Modulo Integer Arithmetic Theories

JOURNAL ARTICLE published 31 October 2023 in ACM Transactions on Computational Logic

Research funded by Strategic Priority Research Program of the Chinese Academy of Sciences (XDA0320000 and XDA0320300) | NSFC (62122078)

Authors: Shaowei Cai | Bohan Li | Xindi Zhang

JOURNAL ISSUE published 22 July 2016 in ACM Transactions on Computational Logic

Probabilistic agent programs

JOURNAL ARTICLE published October 2000 in ACM Transactions on Computational Logic

Authors: Jürgen Dix | Mirco Nanni | V. S. Subrahmanian

Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties

JOURNAL ARTICLE published December 2007 in ACM Transactions on Computational Logic

Authors: Christel Baier | Nathalie Bertrand | Philippe Schnoebelen

Proofs, tests and continuation passing style

JOURNAL ARTICLE published February 2009 in ACM Transactions on Computational Logic

Authors: Stefano Guerrini | Andrea Masini

Ordinary interactive small-step algorithms, III

JOURNAL ARTICLE published July 2007 in ACM Transactions on Computational Logic

Authors: Andreas Blass | Yuri Gurevich

Deciding strategy properties of contract-signing protocols

JOURNAL ARTICLE published May 2010 in ACM Transactions on Computational Logic

Research funded by Deutsche Forschungsgemeinschaft (KU 1434/4-2KU 1434/5-1) | Swiss National Science Foundation (200021-116596)

Authors: Detlef Kähler | Ralf Küsters | Thomas Wilke

Proposition algebra

JOURNAL ARTICLE published May 2011 in ACM Transactions on Computational Logic

Authors: Jan A. Bergstra | Alban Ponse

Structural Analysis of Boolean Equation Systems

JOURNAL ARTICLE published January 2012 in ACM Transactions on Computational Logic

Authors: Jeroen J. A. Keiren | Michel A. Reniers | Tim A. C. Willemse

Ordinary interactive small-step algorithms, II

JOURNAL ARTICLE published July 2007 in ACM Transactions on Computational Logic

Authors: Andreas Blass | Yuri Gurevich

Verification of linear duration properties over continuous-time markov chains

JOURNAL ARTICLE published November 2013 in ACM Transactions on Computational Logic

Authors: Taolue Chen | Marco Diciolla | Marta Kwiatkowska | Alexandru Mereacre

Convergence law for random graphs with specified degree sequence

JOURNAL ARTICLE published October 2005 in ACM Transactions on Computational Logic

Authors: James F. Lynch

Logics with Multiteam Semantics

JOURNAL ARTICLE published 30 April 2022 in ACM Transactions on Computational Logic

Research funded by DFG (RTG 2236)

Authors: Erich Grädel | Richard Wilke