ACM DL

ACM Transactions on

Computational Logic (TOCL)

Menu
Latest Articles

From Small Space to Small Width in Resolution

In 2003, Atserias and Dalmau resolved a major open question about the resolution proof system by establishing that the space complexity of a Conjunctive Normal Form (CNF) formula is always an upper bound on the width needed to refute the formula. Their proof is beautiful but uses a nonconstructive argument based on Ehrenfeucht-Fraïssé... (more)

Abstraction in Fixpoint Logic

We present a theory of abstraction for the framework of parameterised Boolean equation systems, a first-order fixpoint logic. Parameterised Boolean equation systems can be used to solve a variety of problems in verification. We study the capabilities of the abstraction theory by comparing it to an abstraction theory for Generalised Kripke modal... (more)

Concurrent Dynamic Algebra

We reconstruct Peleg’s concurrent dynamic logic in the context of modal Kleene algebras. We explore the algebraic structure of its multirelational semantics and develop an axiomatization of concurrent dynamic algebras from that basis. In this context, sequential composition is not associative. It interacts with parallel composition through a... (more)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization

Ontology engineering and maintenance require (semi-)automated ontology change operations. Intensive research has been conducted on TBox and ABox... (more)

Ramsey-Based Inclusion Checking for Visibly Pushdown Automata

Checking whether one formal language is included in another is important in many verification tasks. In this article, we provide solutions for... (more)

NEWS

New options for ACM authors to manage rights and permissions for their work

ACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM Digital Library. For more information, visit the ACM Author Rights webpage.

 

The ACM is soliciting nominations for Editior-in-Chief for the ACM Transactions on Computational Logic. For more information, read the Call for Nominations.

Forthcoming Articles

Effective Interpolation and Preservation in Guarded Logics

Dynamic Reasoning Systems

Lax Theory Morphisms

When relating formal languages, e.g., in logic or type theory, it is often important to establish representation theorems. These interpret one language in terms of another in a way that preserves semantic properties such as provability or typing. Meta-languages for stating representation theorems can be divided into two groups: on the one hand, computational languages are very expressive (usually Turing-complete), but verifying the representation theorems is very difficult (often prohibitively so); on the other hand, declarative languages are restricted to certain classes of representation theorems (often based on theory morphisms), for which correctness is decidable. Neither is satisfactory, and this paper contributes to the investigation of the trade-off between these two methods. Concretely, we introduce \emph{lax} theory morphisms, which combine some of the advantages of each: they are substantially more expressive than conventional theory morphisms; but they share many of the invariants that make theory morphisms easy to work with. Specifically, we introduce lax morphisms between theories of a dependently-typed logical framework, but our approach and results carry over to most declarative meta-languages. We demonstrate the usefulness of lax theory morphisms by stating and verifying a type erasure translation from typed to untyped first-order logic. The translation is stated as a single lax theory morphism, and the invariants of the framework guarantee its correctness. This is the first time such a complex translation can be verified in a declarative framework.

Differential Game Logic

Differential game logic (dGL) is a logic for specifying and verifying properties of hybrid games, i.e. games that combine discrete, continuous, and adversarial dynamics. Unlike hybrid systems, hybrid games allow choices in the system dynamics to be resolved adversarially by different players with different objectives. The logic dGL can be used to study the existence of winning strategies for such hybrid games, i.e. ways of resolving the player's choices in some way so that he wins by achieving his objective for all choices of the opponent. Hybrid games are determined, i.e.\ from each state, one player has a winning strategy, yet computing their winning regions may take transfinitely many steps. The logic dGL, nevertheless, has a sound and complete axiomatization relative to any expressive logic. Separating axioms are identified that distinguish hybrid games from hybrid systems. Finally, dGL is proved to be strictly more expressive than the corresponding logic of hybrid systems.

On the Decidability of Elementary Modal Logics

Aukasiewicz Games: A Logic-based Approach to Quantitative Strategic Interactions

Boolean games provide a simple, compact, and theoretically attractive abstract model for studying multi-agent interactions in settings where players will act strategically in an attempt to achieve individual goals. A standard critique of Boolean games, however, is that the binary nature of goals (satisfied or unsatisfied) inevitably trivialises the nature of such strategic interac- tions: a player is assumed to be indifferent between all outcomes that satisfy his goal, and indifferent between all outcomes that do not satisfy his goal. In this paper, we introduce Aukasiewicz Games, which overcome this limitation by allowing goals to be specified using Aukasiewicz logics. By expressing goals as formulae of Aukasiewicz logics, we can express a much richer class of utility functions for players than is possible using a Boolean logic: we can express every continuous piecewise linear polynomial function with rational coefficients over [0,1]n. After introducing the formal framework of Aukasiewicz Games, we present a number of detailed worked examples to illustrate the framework, and then investigate some theoretical properties of Aukasiewicz Games. In particular, we present a logical characterisation of the existence of Nash equilibria in finite and infinite Aukasiewicz games. We conclude by briefly discussing issues of computational complexity.

An Assertional Proof of the Stability and Correctness of Natural Mergesort

We present a mechanically verified implementation of the sorting algorithm Natural Mergesort that consists in a few methods specified in the contract style of pre- and post-conditions. Methods are annotated with assertions that allows the automatic verification of the contract satisfaction. This program-proof is made using the state-of-the-art verifier Dafny. We verify not only the standard sortedness property, but also that the algorithm performs a stable sort. Along the paper we provide and explain the complete text of the program-proof.

Belief merging by examples

A common assumption in belief revision is that the reliability of the information sources is either given, derived from temporal information, or the same for all. This article does not describe a new semantics for integration but studies the problem of obtaining the reliability of the sources given the result of a previous merging. As an example, the relative reliability of two sensors can be assessed given some certain observation, and allows for subsequent mergings of data coming from them.

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)

Backdoors to Normality for Disjunctive Logic Programs

The main reasoning problems for disjunctive logic programs are complete for the second level of the polynomial hierarchy and hence considered harder than the same problems for normal (i.e., disjunction-free) programs, which are on the first level. We propose a new exact method for solving the disjunctive problems which exploits the small distance of a disjunctive programs from being normal. The distance is measured in terms of the size of a smallest backdoor to normality which is the smallest number of atoms whose deletion makes the program normal. Our method consists of three phases. In the first phase a smallest backdoor is computed. We show that this can be done using an efficient algorithm for computing a smallest vertex cover of a graph. In the second phase, the backdoor is used to transform the logic program into a quantified Boolean formula (QBF) where the number of universally quantified variables equals the size of the backdoor, and where the total size of the QBF is quasilinear in the size of the given logic program. The quasilinearity is achieved by means of a characterization of the least model of a Horn program in terms of level numberings. In a third phase, the universal variables are eliminated using universal expansion yielding a propositional formula. The blowup in the last phase is confined to a factor which is exponential in the size of the backdoor but linear in the size of the QBF. By checking the satisfiability of the resulting formula we can decide the ASP reasoning problems on the input program.

From security protocols to pushdown automata

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The method extends in an essential way a previously developed tableaux-based decision method for ATL and works in 2EXPTIME, which is the optimal worst case complexity of the satisfiability problem for ATL+. We also discuss how suitable parametrizations and syntactic restrictions on the class of input ATL+ formulae can reduce the complexity of the satisfiability problem.

Model Checking Existential Logic on Partially Ordered Sets

We study the problem of checking whether an existential sentence (that is, a first-order sentence in prefix form built using existential quantifiers and all Boolean connectives) is true in a finite partially ordered set (in short, a poset). A poset is a reflexive, antisymmetric, and transitive digraph. The problem encompasses the fundamental embedding problem of finding an isomorphic copy of a poset as an induced substructure of another poset. Model checking existential logic is already NP-hard on a fixed poset; thus we investigate structural properties of posets yielding conditions for fixed-parameter tractability when the problem is parameterized by the sentence. We identify width as a central structural property (the width of a poset is the maximum size of a subset of pairwise incomparable elements); our main algorithmic result is that model checking existential logic on classes of finite posets of bounded width is fixed-parameter tractable. We observe a similar phenomenon in classical complexity, where we prove that the isomorphism problem is polynomial-time tractable on classes of posets of bounded width; this settles an open problem in order theory. We surround our main algorithmic result with complexity results on less restricted, natural neighboring classes of finite posets, establishing its tightness in this sense. We also relate our work with (and demonstrate its independence of) fundamental fixed-parameter tractability results for model checking on digraphs of bounded degree and bounded clique-width.

Bibliometrics

Publication Years 2000-2015
Publication Count 422
Citation Count 3763
Available for Download 422
Downloads (6 weeks) 1159
Downloads (12 Months) 10575
Downloads (cumulative) 124669
Average downloads per article 295
Average citations per article 9
First Name Last Name Award
Foto Afrati ACM Fellows (2014)
Rajeev Alur ACM Fellows (2007)
Robert Brayton ACM Paris Kanellakis Theory and Practice Award (2006)
Randal E Bryant ACM Fellows (2000)
ACM Paris Kanellakis Theory and Practice Award (1998)
Peter Buneman ACM Fellows (2000)
Stephen A Cook ACM Fellows (2008)
A. M. Turing Award (1982)
Wenfei Fan ACM Fellows (2012)
Wenfei Fan ACM Fellows (2012)
Georg Gottlob ACM Fellows (2007)
Yuri Gurevich ACM Fellows (1997)
Joseph Halpern ACM AAAI Allen Newell Award (2008)
ACM Fellows (2002)
Robert Harper ACM Fellows (2005)
Brian Hebert ACM - Infosys Foundation Award in the Computing Sciences (2007)
Thomas A Henzinger ACM Fellows (2006)
Vasant G Honavar ACM Senior Member (2006)
Neil Jones ACM Fellows (1998)
Daphne Koller ACM - Infosys Foundation Award in the Computing Sciences (2007)
Dexter Kozen ACM Fellows (2003)
Sarit Kraus ACM Fellows (2014)
Maurizio Lenzerini ACM Fellows (2009)
Leonid Libkin ACM Fellows (2012)
Tova Milo ACM Fellows (2012)
Lawrence C Paulson ACM Fellows (2008)
Frank Pfenning ACM Senior Member (2007)
Raymond Reiter ACM Fellows (1997)
Thomas Reps ACM Fellows (2005)
ACM Doctoral Dissertation Award (1983)
Peter James Stuckey ACM Distinguished Member (2009)
Dan Suciu ACM Fellows (2011)
Moshe Y Vardi Outstanding Contribution to ACM Award (2009)
ACM Presidential Award (2008)
ACM Paris Kanellakis Theory and Practice Award (2005)
ACM Fellows (2000)
Victor Vianu ACM Fellows (2006)
Philip Wadler ACM Fellows (2007)
Reinhard Wilhelm ACM Distinguished Service Award (2010)
ACM Fellows (2000)
Pierre Wolper ACM Paris Kanellakis Theory and Practice Award (2005)
Qiang Yang ACM Distinguished Member (2011)
Mihalis Yannakakis ACM Fellows (1998)

First Name Last Name Paper Counts
Yuri Gurevich 10
Orna Kupferman 8
Andreas Blass 8
Thomas Eiter 8
VS Subrahmanian 6
Thomas Henzinger 5
Nicola Olivetti 5
Georg Gottlob 5
Frank Neven 4
Hans Tompits 4
Ranko Lazić 4
Luc Segoufin 4
Leonid Libkin 4
Thomas Schwentick 4
Michael Zakharyaschev 4
Marc Denecker 4
Krishnendu Chatterjee 4
Paolo Liberatore 4
Erich Grädel 3
Guido Fiorino 3
Grigoris Antoniou 3
Paulo Shakarian 3
Krzysztof Apt 3
Mauro Ferrari 3
Camillo Fiorentini 3
Randal Bryant 3
Frank Pfenning 3
Neil Thapen 3
Maurizio Gabbrielli 3
Joseph Halpern 3
Nadia Creignou 3
Silvio Ghilardi 3
Jürgen Dix 3
Maria Meo 3
Dale Miller 3
Dexter Kozen 3
Heribert Vollmer 3
Yuan Feng 3
Chiaki Sakama 3
Gerardo Simari 3
Samir Genaim 3
Rajeev Alur 3
Jiahuai You 3
Alessio Guglielmi 3
Thomas Lukasiewicz 3
John Tucker 2
Orna Grumberg 2
Robert Nieuwenhuis 2
Fabrizio Angiulli 2
Andrea Asperti 2
John Derrick 2
Arie Gurfinkel 2
Joost Vennekens 2
Carsten Lutz 2
Arnold Beckmann 2
Andrzej Murawski 2
Torsten Schaub 2
Cristian Molinaro 2
Mirosław Truszczyński 2
Fabio Mogavero 2
Aniello Murano 2
Silvia Crafa 2
Yidong Shen 2
Marcello Bonsangue 2
Alexandra Silva 2
Juha Kontinen 2
Nicola Leone 2
Wolfgang Faber 2
Arnaud Durand 2
Gian Pozzato 2
Michael Kaminski 2
Axel Polleres 2
Panos Rondogiannis 2
Scott Weinstein 2
Maria Bonacina 2
Stefan Ratschan 2
Robert Harper 2
Renate Schmidt 2
Ugo Montanari 2
Alexander Artikis 2
Marek Sergot 2
Venkatramanan Subrahmanian 2
Frank Wolter 2
Laura Giordano 2
Luigi Palopoli 2
Giovambattista Ianni 2
Samuel Buss 2
Daniele Nardi 2
Jeffery Zucker 2
Stephen Cook 2
Simone Martini 2
Filippo Bonchi 2
Pierre Wolper 2
David Billington 2
Guido Governatori 2
Michael Maher 2
Massimo Lauria 2
Jakob Simonsen 2
Rob Van Glabbeek 2
Frank Stephan 2
Udi Boker 2
Eugénie Foustoucos 2
Camilla Schwind 2
Michael Benedikt 2
Mariangiola Dezani-Ciancaglini 2
Olaf Beyersdorff 2
Ilka Schnoor 2
Jeremy Avigad 2
Ori Lahav 2
Manuel Bodirsky 2
Riccardo Rosati 2
William Wadge 2
Jónathan Heras 2
Lawrence Paulson 2
Jean Raskin 2
Vladimir Lifschitz 2
Clare Dixon 2
Silvio Ranise 2
Stefano Bistarelli 2
Stéphane Demri 2
Wan Fokkink 2
Paul Gastin 2
Karl Crary 2
Fangzhen Lin 2
Ralf Küsters 2
Henning Schnoor 2
Jean Marion 2
Mingsheng Ying 2
Marco Cadoli 2
Valentina Gliozzi 2
Olivier Danvy 2
Michael Fink 2
Ugo Lago 2
Pascal Van Hentenryck 2
Salvatore La Torre 2
Stefan Göller 2
Miroslav Velev 2
Richard Trefler 2
Nachum Dershowitz 2
David Gilis 2
Anuj Dawar 2
Gerald Pfeifer 2
Amy Sliva 2
Dirk Vermeir 2
Hana Chockler 2
Michaël Rusinowitch 2
Moshe Vardi 2
Klaus Aehlig 2
Wouter Gelade 2
Agostino Dovier 2
Helmut Veith 2
Francesco Ranzato 2
Roman Kontchakov 2
Stefan Woltran 2
Alwen Tiu 2
Michael Fisher 2
Kousha Etessami 2
Uwe Egly 2
Martin Grohe 2
Victor Vianu 2
Trancao Son 2
Giorgi Japaridze 2
Albert Atserias 2
Ullrich Hustadt 2
Francesca Rossi 2
Nicola Galesi 2
Roberto Sebastiani 2
Tony Tan 2
Stavros Cosmadakis 2
Véronique Cortier 2
Brigitte Pientka 2
Laurent Doyen 2
Guillem Godoy 2
Maurice Bruynooghe 2
Andrei Voronkov 2
Fabio Gadducci 1
Heike Wehrheim 1
Francesco Parisi 1
Stefan Szeider 1
Samuel Shen 1
Jeremy Bryans 1
Tim Willemse 1
Thomas Reps 1
Barnaby Martin 1
Sandro Etalle 1
Marc Christie 1
David Fernández-Duque 1
Mahesh Viswanathan 1
Albert Rubio 1
Pierre Genevès 1
Nabil Layaïda 1
Anastasios Skarlatidis 1
Aart Middeldorp 1
Vincent Van Oostrom 1
Lou Dries 1
Rakesh Verma 1
Dominic Hughes 1
Sophia Knight 1
Robin Adams 1
Lise Getoor 1
Franco Montagna 1
Etienne Grandjean 1
Mathieu Turuani 1
Paola Mello 1
Paolo Torroni 1
Yannick Chevalier 1
Makoto Tatsuta 1
Alexis Saurin 1
Boris Konev 1
Mdaquil Khan 1
Jordi Levy 1
Murdoch Gabbay 1
Marcel Jackson 1
Hector Levesque 1
Jos De Bruijn 1
Paliath Narendran 1
David Pym 1
Lucas Bordeaux 1
Florian Horn 1
Alexander Serebrenik 1
Ph Schnoebelen 1
Christel Baier 1
Lizhu Zhou 1
Giuliana Sabbatini 1
Tristan Crolard 1
Martin Mundhenk 1
Jerzy Tiuryn 1
Sébastien Jodogne 1
Marco Pedicini 1
Mark Ryan 1
Jean Puget 1
Laurent Perron 1
Isabelle Gnaedig 1
Hélène Kirchner 1
Vincent Siles 1
Jeroen Ketema 1
Paqui Lucio 1
H Macpherson 1
Mehrnoosh Sadrzadeh 1
M Praveen 1
Abu Masud 1
Enrico Pontelli 1
Angelos Charalambidis 1
Floor Sietsma 1
Vernon Asuncion 1
Krishnendu Chatterjee 1
Cindy Eisner 1
Dana Fisman 1
Eli Ben-Sasson 1
D Henriques 1
Giora Slutzki 1
Richard Mckinley 1
Stefan Milius 1
Robert Givan 1
Viviana Bono 1
Rocco De Nicola 1
Bard Bloom 1
Johannes Schmidt 1
Alessandro Artale 1
Anthonywidjaja Lin 1
Novak Novaković 1
Martin Otto 1
Liyan Yuan 1
Phuong Nguyen 1
Michel Reniers 1
Nicolas Spyratos 1
David Basin 1
Marco Schaerf 1
Mooly Sagiv 1
Reinhard Wilhelm 1
Bernhard Möller 1
Eric Languénou 1
Frédéric Goualard 1
Andrea Formisano 1
Nathan Segerlind 1
Rohit Chadha 1
Jean Jouannaud 1
Yiannis Moschovakis 1
Luca Iocchi 1
Stephan Schulz 1
C Ong 1
Yan Zhang 1
Arthur Charlesworth 1
Michael Mendler 1
Rupak Majumdar 1
Nicolas Peltier 1
Yavor Nenov 1
Alexander Kartzow 1
James Delgrande 1
Mary Williams 1
Catuscia Palamidessi 1
Robert Brayton 1
Octavian Udrea 1
Hubert Comon-Lundh 1
Richard Lassaigne 1
Jimmy Lee 1
Diego Calvanese 1
Viorica Sofronie-Stokkermans 1
Marco Gavanelli 1
Elio Giovannetti 1
Dietmar Seipel 1
Ilkka Niemelä 1
Adrià Gascón 1
Stefano Berardi 1
Arne Meier 1
Michael Thomas 1
Robert Hierons 1
Kazuhisa Makino 1
Alessandro Bianco 1
Fabio Massacci 1
Joséespírito Santo 1
Marcin Jurdziński 1
James Harland 1
Fabio Alessi 1
David Gray 1
Kevin Donnelly 1
Stefan Berghofer 1
George Metcalfe 1
Nicole Schweikardt 1
Dov Gabbay 1
Aleksandar Ignjatović 1
Doron Bustan 1
Simone Tini 1
Andrea Masini 1
Wojciech Kazana 1
Marco Diciolla 1
Anders Mörtberg 1
Konstantinos Handjopoulos 1
Johan Wittocx 1
Marc Zeitoun 1
Pavel Pudlák 1
Marko Samer 1
Anna Zamansky 1
Mathieu Baudet 1
Guy Rey 1
Sofie Verbaeten 1
Mingsheng Ying 1
Nengkun Yu 1
Olivier Serre 1
Terrance Swift 1
Adam Kups 1
Gerhard Schellhorn 1
Sergio Flesca 1
Alberto Momigliano 1
Marsha Chećhik 1
Florent Madelaine 1
Annabelle McIver 1
Carroll Morgan 1
Jan Smaus 1
Christopher Stone 1
Sławomir Lasota 1
Felix Klaedtke 1
Alexander Razborov 1
Eugenio Omodeo 1
Lan Zhang 1
Dmitry Tishkovsky 1
Prakash Panangaden 1
Jan Rutten 1
George Vouros 1
Nicolai Kraus 1
Anna Ingólfsdóttir 1
Simona Perri 1
Gerald Lüttgen 1
Roberto Giacobazzi 1
Matthias Broecheler 1
Steven Schockaert 1
Ernie Cohen 1
Eugen Zălinescu 1
Anthonywidjaja To 1
Sylvain Peyronnet 1
Frédéric Magniez 1
Michel De Rougemont 1
Gianfranco Rossi 1
Giuseppe Giacomo 1
Susmit Sarkar 1
Federico Chesani 1
Paolo Ferraris 1
Simona Ronchi Della Rocca 1
Hirotaka Ono 1
Gilles Dowek 1
Jason Teutsch 1
Franz Baader 1
Jan Bergstra 1
Peter Thiemann 1
René Thiemann 1
Erik Mathiesen 1
Shuvendu Lahiri 1
Małgorzata Biernacka 1
Jan Bussche 1
Werner Nutt 1
Romain Péchoux 1
Lars Kristiansen 1
Tova Milo 1
Neil Immerman 1
Daphne Koller 1
Kristina Sojakova 1
Johan Thapper 1
Yan Zhang 1
Yuxin Deng 1
Dominique Larchey-Wendling 1
Iddo Tzameret 1
Guy Avni 1
Markus Krötzsch 1
Sebastian Rudolph 1
Didier Galmiche 1
Martin Peim 1
Konstantinos Sagonas 1
Conrad Drescher 1
Robert Simmons 1
Damiano Zanardini 1
Oleg Verbitsky 1
Helmut Schwichtenberg 1
Marijn Heule 1
Naghmeh Ghafari 1
Jeroen Keiren 1
Yann Loyer 1
Annalisa Bossi 1
Georg Struth 1
Igor Walukiewicz 1
Emmanuel Dall'olio 1
Russell Impagliazzo 1
Helle Hansen 1
Morgan Deters 1
Neil Yorke-Smith 1
Wim Hesselink 1
Churnjung Liau 1
John Dickerson 1
James Lynch 1
Anastasios Sidiropoulos 1
Peter Stuckey 1
Andy King 1
Maurizio Lenzerini 1
Marco Alberti 1
Stijn Heymans 1
Davy Van Nieuwenborgh 1
Christoph Weidenbach 1
Patrik Simons 1
Deborah East 1
Mikołaj Bojańczyk 1
Claire David 1
Robert Goldblatt 1
Giuseppe De Giacomo 1
Nada Lavrač 1
Peter Flach 1
Luigia Aiello 1
Victor Marek 1
Antonis Kakas 1
Hubert Comon 1
Zbigniew Lonc 1
Runyao Duan 1
Zhengfeng Ji 1
Adel Bouhoula 1
Stavros Tripakis 1
Peter Schneider-Kamp 1
Ursula Martin 1
Paulo Oliva 1
Paul Raff 1
Stijn Vansummeren 1
Yehoshua Sagiv 1
Stefan Szeider 1
Thomas Schneider 1
Micah Adler 1
Foto Afrati 1
K Subramani 1
Holger Sturm 1
Salvatore Ruggieri 1
Marta Kwiatkowska 1
Jérôme Lang 1
Benjamin Monmege 1
Ian Zerny 1
John Havlicek 1
Jan Kára 1
Kedar Namjoshi 1
Detlef Kähler 1
Hariolf Betz 1
Jianmin Ji 1
Pascal Hitzler 1
Michele Bugliesi 1
Steven German 1
Teodor Przymusinski 1
Stefan Brass 1
Giacoma Monreale 1
Achille Frigeri 1
Howard Bowman 1
Peter Buneman 1
Pawel Mielniczuk 1
Marco Bernardo 1
Manuel Clavel 1
Sabina Rossi 1
Floris Geerts 1
Enrica Nicolini 1
Katsumi Inoue 1
Alan Schmitt 1
Georgios Paliouras 1
Eryk Kopczyński 1
Christian Sattler 1
Jeremy Pitt 1
Carmen Gervet 1
Alessandro Armando 1
Francesco Scarcello 1
Ara Hayrapetyan 1
Terrance Swift 1
Nathalie Sznajder 1
Sasha Rubin 1
Pavlos Peppas 1
Konstantinos Chatzikokolakis 1
Mantas Šimkus 1
James Bailey 1
Guozhu Dong 1
Sophie Laplante 1
Aleksandar Nanevski 1
Helmut Seidl 1
Tomi Janhunen 1
Anca Muscholl 1
Mohua Banerjee 1
Jakob Nordström 1
Sebastian Danicic 1
Mihalis Yannakakis 1
Raymond Reiter 1
Sebastian Sardiña 1
Alban Ponse 1
Akitoshi Kawamura 1
Jürgen Giesl 1
Konstantin Korovin 1
Emmanuel Polonowski 1
Itay Neeman 1
Michael Bauland 1
Anastasia Analyti 1
Matthew Stone 1
Arun Sharma 1
Nir Friedman 1
Lutz Schröder 1
Ruggero Lanotte 1
Roy Dyckhoff 1
M Biscaia 1
Stéphanie Delaune 1
Julio Rubio 1
César Domínguez 1
Liliana Pasquale 1
Lutz Straßburger 1
Andreas Krebs 1
Bruce Kapron 1
Greta Yorsh 1
Alexander Rabinovich 1
Sheila McIlraith 1
Frank De Boer 1
Sofie Haesevoets 1
Eugenia Ternovska 1
Daniele Zucchelli 1
Hubie Chen 1
Carlo Furia 1
Reinhard Pichler 1
Harald Zankl 1
Bas Luttik 1
Francesca Scozzari 1
Bakhadyr Khoussainov 1
Jeroen Janssen 1
Prakash Panangaden 1
Kumud Sanwal 1
Zhaohui Luo 1
Carla Piazza 1
John Hitchcock 1
Kumar Verma 1
Ulrich Schöpp 1
Sebastian Müller 1
Matthias Horbach 1
Anatoli Degtyarev 1
Sarit Kraus 1
Lutz Burger 1
Manfred Schmidt-Schauß 1
Andrei Bulatov 1
Marco Gaboardi 1
Bjørn Kjos-Hanssen 1
Sara More 1
Pavel Naumov 1
David Pearce 1
Agustín Valverde 1
Joost Engelfriet 1
Fariba Sadri 1
Flemming Nielson 1
Hanne Nielson 1
Dmitry Shkatov 1
Gianluigi Greco 1
Sara Cohen 1
Neil Jones 1
Jean Moyen 1
Naohi Eguchi 1
Pierre Valarcher 1
Antonino Salibra 1
Slim Abdennadher 1
Ofer Arieli 1
Oliver Kutz 1
Fred Mesnard 1
Ron Van Der Meyden 1
Mirco Nanni 1
Dirk Pattinson 1
Paola Bruscoli 1
Alexandru Mereacre 1
Taolue Chen 1
Andreas Herzig 1
Ngoc Nguyen 1
Arnon, Avron 1
Yi Zhou 1
Benedikt Bollig 1
Prahladh Harsha 1
Markus Lohrey 1
Agata Ciabattoni 1
P Mateus 1
Jia Tao 1
Markus Aschinger 1
María Poza 1
Arnaud Carayol 1
Maciej Komosinski 1
Dorota Leszczyńska-Jasion 1
Moshe Vardi 1
Paola Spoletini 1
Christoph Berkholz 1
Bettina Fazzinga 1
Colin Hirsch 1
Vincent Danos 1
Qiang Yang 1
David Baelde 1
Cinzia Di Giusto 1
Daniel Stamate 1
José Meseguer 1
Chitta Baral 1
Frédéric Benhamou 1
David Griffioen 1
Frits Vaandrager 1
Bart Kuijpers 1
Véronique Bruyère 1
Paolo Coppola 1
Tony Tan 1
Matteo Rossi 1
Axel Legay 1
Alessandro Cimatti 1
Alberto Griggio 1
Nils Gesbert 1
Luca Aceto 1
Raymond Mcdowell 1
Luca Roversi 1
Martin Gebser 1
Jóse Alferes 1
Mnacho Echenim 1
Costas Koutras 1
Linh Nguyen 1
Diego Figueira 1
Adnan Aziz 1
Evelina Lamma 1
Roberto Cosmo 1
Martin Hofmann 1
Luca Alfaro 1
Ugo de’Liguoro 1
Mateu Villaret 1
Pavol Černý 1
Hendrik Hoogeboom 1
Sebastian Nanz 1
Philip Wadler 1
Sharon Shoham 1
Ke Wang 1
Roman Schindlauer 1
Noga Alon 1
Carlos Damásio 1
Bernard Boigelot 1
Alessio Lomuscio 1
Stefano Guerrini 1
Elvira Albert 1
Florian Rabe 1
Thomas Wilke 1
Vasant Honavar 1
Thom Frühwirth 1
Xiaoping Chen 1
David McAllester 1
Mario Bravetti 1
Roberto Gorrieri 1
Michele Loreti 1
Yangjia Li 1
Giuseppe Perelli 1
Sylvain Schmitz 1
Russell Harmer 1
Francesco Donini 1
Wenfei Fan 1
Nils Klarlund 1
Piero Bonatti 1
Benno Van Den Berg 1
Richard Garner 1
Nam Tran 1
Jules Desharnais 1
Matthew Bauer 1
Roberto Bruttomesso 1
Francesco Santini 1
Fang Wei 1
Silvia Tomasi 1
Bertram Felgenhauer 1
Matthias Knorr 1
Ian Pratt-Hartmann 1
Ewa Madalińska-Bugaj 1
Vigyan Singhal 1
Diego Recupero 1
Chiuwo Choi 1
Edward Hung 1
Simone Bova 1
Jack Lutz 1
Sebastiaan Terwijn 1
Venkatramanan Subrahmanian 1
Michael Laurence 1
Marcel Marquardt 1
Luís Pinto 1
Furio Honsell 1
Toni Mancini 1
Valentin Goranko 1
Rob Arthan 1
Ferruccio Guidi 1
Nathalie Bertrand 1
Jan Johannsen 1
Toshiyasu Arai 1
Christian Urban 1
James Cheney 1
Austin Parker 1
Dan Suciu 1
Christophe Rigotti 1
Ashish Tiwari 1
Stephan Kreutzer 1
Laurent Michel 1
Francesco Quaglia 1
Nobuyuki Suzuki 1
Rachel Ben-Eliyahu -- Zohary 1
Thierry Coquand 1
Jose Gaintzarain 1
Julien Truffaut 1
Pierre Marquis 1
Doron Peled 1
Jeanchristoph Jung 1
Lara Spendier 1
Shulamit Halamish 1
Gaëlle Fontaine 1
Danny De Schreye 1
Vladislav Ryzhikov 1
Axel Haddad 1
Fabrizio Riguzzi 1
Mariusz Urbański 1

Affiliation Paper Counts
SRI International 1
Universite de La Reunion 1
Harvey Mudd College 1
German University in Cairo 1
Universite Pierre et Marie Curie 1
Victoria University of Wellington 1
Bar-Ilan University 1
National Technical University of Athens 1
University of Haifa 1
University of Perugia 1
Universidad de Malaga 1
Warsaw University of Technology 1
University of Peloponnese 1
Uppsala University 1
University of Parma 1
University of Illinois 1
University of Minnesota System 1
La Trobe University 1
University of Bonn 1
Technical University in Braunschweig 1
University of Leipzig 1
Medical University of Innsbruck 1
AT&T Laboratories Florham Park 1
National University of Ireland, Galway 1
Poznan University of Technology 1
Vrije Universiteit Amsterdam 1
University of Wyoming 1
Hong Kong Polytechnic University 1
Australian National University 1
INP Grenoble 1
Purdue University 1
Linkoping University 1
Universitat de Girona 1
Harvard University 1
Avaya Inc. 1
University of Groningen 1
University of Oslo 1
University of Mons-Hainaut 1
Queensland University of Technology 1
Kyushu University 1
RMIT University 1
State University of New York at Albany 1
University of Leeds 1
BRICS Basic Research in Computer Science 1
INRIA Rhone-Alpes 1
Universidad de Chile 1
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
University of Wurzburg 1
University of Hawaii at Manoa 1
Martin Luther University of Halle-Wittenberg 1
Institute of Informatics and Telecommunications, Athens 1
Capital University of Economics and Business China 1
Kalamazoo College 1
University of Washington 1
University of Witwatersrand 1
Jacobs University Bremen 1
Charles University in Prague 1
Bryn Mawr College 1
University of Heidelberg 1
Academia Sinica Taiwan 1
University of Tubingen 1
University of Sussex 1
Weizmann Institute of Science Israel 1
Istituto Per Le Applicazioni Del Calcolo Mauro Picone, Rome 1
Munich University of the Federal Armed Forces 1
Universite Bordeaux 1 1
CSIC - Instituto de Investigacion en Inteligencia Artificial 1
University of Southern Denmark 1
Athens University of Economics and Business 1
Georgia Institute of Technology 1
Boston University 1
University of Birmingham 1
University of Paderborn 1
University of Bern 1
University of Twente 1
Brunel University 1
University of Bristol 1
Freescale Semiconductor 1
West Virginia University 1
IBM 1
New York University 1
University of St Andrews 1
University of Durham 1
Massachusetts Institute of Technology 1
University of Richmond 1
Telcordia Technologies, Inc. 1
Jozef Stefan Institute 1
Cardiff University 1
National Institute of Advanced Industrial Science and Technology 1
University of California, Santa Cruz 1
Shanghai Jiaotong University 1
University of Genoa 1
INRIA Futurs 1
University of Stirling 1
University of Tokyo 1
University of Konstanz 1
Alcatel-Lucent 1
Clarkson University 1
Ben-Gurion University of the Negev 1
Polytechnic Institute of Bari 1
Institute for Advanced Studies 1
University of California, Los Angeles 1
United States Military Academy 1
University of the Basque Country 1
Swiss Federal Institute of Technology, Lausanne 1
Northeastern University 1
NICTA 1
Friedrich Schiller University Jena 1
University of California, Riverside 1
European Commission 1
Universite de Versailles Saint-Quentin-en-Yvelines 1
Columbia University 1
Texas State University-San Marcos 1
University of California System 1
Johannes Gutenberg University Mainz 1
Tata Institute of Fundamental Research 1
Institute of Mathematical Sciences India 1
University of Urbino 1
University of Wisconsin Madison 1
Universite de Caen Basse Normandie 1
INRIA Rocquencourt 1
Laval University 1
University of the Saarland 1
University of Seville 1
Institute of Computer Science Crete 1
University of Carthage 1
Vinh University 1
Institute for Work and Health (IST) 1
Laboratoire d'Informatique Fondamentale de Marseille UMR 6166 1
Universite Paris-Est 1
Academic College of Tel-Aviv - Yaffo 1
Microsoft Research Cambridge 1
Universite de Bordeaux 1
Karlsruhe Institute of Technology 1
National University Corporation Shizuoka University 1
ILOG 2
University of Crete 2
Royal Institute of Technology 2
University of Amsterdam 2
Chinese University of Hong Kong 2
University of Helsinki 2
University of Victoria 2
Arizona State University 2
Iowa State University 2
Ecole des Mines de Nancy 2
University of Auckland 2
University of Houston 2
Google Inc. 2
Utrecht University 2
Hong Kong University of Science and Technology 2
University of Dundee 2
University of Ulm 2
IBM Research 2
Technical University of Darmstadt 2
Kobe University 2
University of Trier 2
Lubeck University 2
University of Massachusetts Amherst 2
University of Nottingham 2
University of Augsburg 2
IBM Thomas J. Watson Research Center 2
INRIA Lorraine 2
Wright State University 2
Technical University of Dresden 2
University of L'Aquila 2
University of Science and Technology of China 2
Macquarie University 2
Heriot-Watt University 2
University of Minho 2
Royal Holloway University of London 2
Technical University of Clausthal 2
University of Florence 2
Indian Institute of Technology, Kanpur 2
Manchester Metropolitan University 2
Politecnico di Milano 2
University of Melbourne 2
McDaniel College 2
University of Eastern Piedmont Amedeo Avogadro, Alessandria 2
LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications 2
Research Organization of Information and Systems National Institute of Informatics 2
IRIT Institut de Recherche Informatique de Toulouse 2
Rutgers University 2
McMaster University 2
Reykjavik University 2
Fondazione Bruno Kessler 2
Aalto University 2
Universidad del Pais Vasco - Euskal Herriko Unibertsitatea, Campus Bizkaia 2
Villanova University 3
Universite Libre de Bruxelles 3
University of Illinois at Urbana-Champaign 3
Humboldt University of Berlin 3
Chalmers University of Technology 3
Pennsylvania State University 3
University of Lisbon 3
New Mexico State University Las Cruces 3
University of Siena 3
Rice University 3
Universite Henri Poincare 3
CNRS Centre National de la Recherche Scientifique 3
Birkbeck University of London 3
Free University of Bozen-Bolzano 3
University of Piraeus 3
University of Kent 3
Technical University of Denmark 3
Brown University 3
University of Milan - Bicocca 3
Universidad de La Rioja 3
Adam Mickiewicz University of Poznaniu 3
University of Waterloo 3
University of Kentucky 3
National University of Singapore 3
Chinese Academy of Sciences 3
Leiden University 3
University of Potsdam 3
Universite Paul Cezanne Aix-Marseille III 3
Wakayama University 3
Technical University of Madrid 3
University of Aarhus 3
University of Copenhagen 3
University of Patras 3
University of Dortmund 3
Universite de Lyon 3
Aix Marseille Universite 3
University of Sheffield 4
University of G. d'Annunzio Chieti and Pescara 4
Alcatel-Lucent Bell Labs 4
University of Innsbruck 4
King's College London 4
Center for Mathematics and Computer Science - Amsterdam 4
University of Kiel 4
Stanford University 4
University of Texas at Austin 4
University of Trento 4
Radboud University Nijmegen 4
University of Western Sydney 4
Simon Fraser University 4
Technical University of Munich 4
Queen Mary, University of London 4
Universite Paris-Sud XI 4
University of Ferrara 4
University of California, Berkeley 4
University of Freiburg 4
Swiss Federal Institute of Technology, Zurich 4
Vrije Universiteit Brussel 4
Complutense University of Madrid 4
University of Cambridge 4
Academy of Sciences of the Czech Republic (Avcr.Cz) 4
University of London 4
Laboratoire d'Informatique de Nantes-Atlantique 4
University of Padua 5
University of Liege 5
McGill University 5
Swansea University 5
Leibniz Universitat Hannover 5
University of Insubria 5
University of Pennsylvania 5
Bremen University 5
Ca' Foscari University of Venice 5
The University of Warwick 5
University of Technology Sydney 5
Tsinghua University 5
University of New South Wales 5
University of Athens 5
University of Bath 5
University of California, San Diego 5
University of Alberta 5
New University of Lisbon 5
University of Verona 5
Eindhoven University of Technology 5
Griffith University 5
Max Planck Institute for Informatics 6
Ecole Normale Superieure de Cachan 6
Cornell University 6
University of Warsaw 6
University of Naples Federico II 6
University of Udine 6
Ludwig Maximilian University of Munich 6
Universite Paris 7- Denis Diderot 7
Technion - Israel Institute of Technology 7
Institute of Science and Technology Austria 7
Universitat Politecnica de Catalunya 8
INRIA Institut National de Rechereche en Informatique et en Automatique 8
Ecole Polytechnique 8
RWTH Aachen University 8
University of Liverpool 8
University of Edinburgh 8
University of Pisa 8
University of Manchester 9
Imperial College London 9
Microsoft Research 9
University Michigan Ann Arbor 9
Tel Aviv University 10
Catholic University of Leuven 10
University of Milan 11
Hebrew University of Jerusalem 12
University of Toronto 12
Hasselt University 13
University of Calabria 13
University of Turin 14
University of Bologna 15
University of Oxford 16
Carnegie Mellon University 20
University of Maryland 21
University of Roma La Sapienza 23
Vienna University of Technology 41

ACM Transactions on Computational Logic (TOCL)
Archive


2015
Volume 16 Issue 4, August 2015  Issue-in-Progress
Volume 16 Issue 3, July 2015
Volume 16 Issue 2, March 2015
Volume 16 Issue 1, March 2015

2014
Volume 15 Issue 4, August 2014
Volume 15 Issue 3, July 2014
Volume 15 Issue 2, April 2014
Volume 15 Issue 1, February 2014

2013
Volume 14 Issue 4, November 2013
Volume 14 Issue 3, August 2013
Volume 14 Issue 2, June 2013
Volume 14 Issue 1, February 2013

2012
Volume 13 Issue 4, October 2012
Volume 13 Issue 3, August 2012
Volume 13 Issue 2, April 2012
Volume 13 Issue 1, January 2012

2011
Volume 12 Issue 4, July 2011
Volume 12 Issue 3, May 2011
Volume 12 Issue 2, January 2011

2010
Volume 12 Issue 1, October 2010
Volume 11 Issue 4, July 2010
Volume 11 Issue 3, May 2010
Volume 11 Issue 2, January 2010

2009
Volume 11 Issue 1, October 2009
Volume 10 Issue 4, August 2009
Volume 10 Issue 3, April 2009
Volume 10 Issue 2, February 2009
Volume 10 Issue 1, January 2009

2008
Volume 9 Issue 4, August 2008
Volume 9 Issue 3, June 2008
Volume 9 Issue 2, March 2008

2007
Volume 9 Issue 1, December 2007
Volume 8 Issue 4, August 2007
Volume 8 Issue 3, July 2007
Volume 8 Issue 2, April 2007
Volume 8 Issue 1, January 2007

2006
Volume 7 Issue 4, October 2006
Volume 7 Issue 3, July 2006
Volume 7 Issue 2, April 2006
Volume 7 Issue 1, January 2006

2005
Volume 6 Issue 4, October 2005
Volume 6 Issue 3, July 2005
Volume 6 Issue 2, April 2005
Volume 6 Issue 1, January 2005

2004
Volume 5 Issue 4, October 2004
Volume 5 Issue 3, July 2004
Volume 5 Issue 2, April 2004
Volume 5 Issue 1, January 2004

2003
Volume 4 Issue 4, October 2003
Volume 4 Issue 3, July 2003
Volume 4 Issue 2, April 2003
Volume 4 Issue 1, January 2003

2002
Volume 3 Issue 4, October 2002
Volume 3 Issue 3, July 2002
Volume 3 Issue 2, April 2002
Volume 3 Issue 1, January 2002

2001
Volume 2 Issue 4, Oct. 2001 Special issue devoted to Robert A. Kowalski
Volume 2 Issue 3, July 2001
Volume 2 Issue 2, April 2001
Volume 2 Issue 1, Jan. 2001

2000
Volume 1 Issue 2, Oct. 2000
Volume 1 Issue 1, July 2000
 
All ACM Journals | See Full Journal Index