Succinctness of Order-Invariant Logics on Depth-Bounded Structures

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

Authors: Kord Eickmeyer | Michael Elberfeld | Frederik Harwath

Interaction between path and type constraints

JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic

Authors: Peter Buneman | Wenfei Fan | Scott Weinstein

Locality of order-invariant first-order formulas

JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic

Authors: Martin Grohe | Thomas Schwentick

JOURNAL ISSUE published 1 July 2011 in ACM Transactions on Computational Logic

Equations, Contractions, and Unique Solutions

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

Research funded by MIUR-PRIN project (“CINA.”) | ANR project (12IS02001 “PACE”)

Authors: Davide Sangiorgi

JOURNAL ISSUE published 19 December 2017 in ACM Transactions on Computational Logic

JOURNAL ISSUE published 21 August 2017 in ACM Transactions on Computational Logic

Verifying security protocols as planning in logic programming

JOURNAL ARTICLE published October 2001 in ACM Transactions on Computational Logic

Authors: Luigia Carlucci Aiello | Fabio Massacci

Fuzzy Equilibrium Logic

JOURNAL ARTICLE published October 2012 in ACM Transactions on Computational Logic

Authors: Steven Schockaert | Jeroen Janssen | Dirk Vermeir

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

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

Symbolic Bisimulation for Quantum Processes

JOURNAL ARTICLE published April 2014 in ACM Transactions on Computational Logic

Research funded by Australian Research Council (DP110103473, DP130102764, and FT100100218)

Authors: Yuan Feng | Yuxin Deng | Mingsheng Ying

JOURNAL ISSUE published 1 January 2012 in ACM Transactions on Computational Logic

Reasoning about Quality and Fuzziness of Strategic Behaviors

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

Authors: Patricia Bouyer | Orna Kupferman | Nicolas Markey | Bastien Maubert | Aniello Murano | Giuseppe Perelli

Mechanizing UNITY in Isabelle

JOURNAL ARTICLE published July 2000 in ACM Transactions on Computational Logic

Authors: Lawrence C. Paulson

A dynamic approach to characterizing termination of general logic programs

JOURNAL ARTICLE published October 2003 in ACM Transactions on Computational Logic

Authors: Yi-Dong Shen | Jia-Huai You | Li-Yan Yuan | Samuel S. P. Shen | Qiang Yang

Super logic programs

JOURNAL ARTICLE published January 2004 in ACM Transactions on Computational Logic

Authors: Stefan Brass | Jürgen Dix | Teodor C. Przymusinski

Polynomial-time computation via local inference relations

JOURNAL ARTICLE published October 2002 in ACM Transactions on Computational Logic

Authors: Robert Givan | David Mcallester

A fast algorithm and datalog inexpressibility for temporal reasoning

JOURNAL ARTICLE published May 2010 in ACM Transactions on Computational Logic

Research funded by Ministry of Education, Youth and Sports (1M0021620808)

Authors: Manuel Bodirsky | Jan Kára

Higher Homotopies in a Hierarchy of Univalent Universes

JOURNAL ARTICLE published 21 March 2015 in ACM Transactions on Computational Logic

Research funded by Air Force Research Laboratory (FA8655-13-1-3038)

Authors: Nicolai Kraus | Christian Sattler