×

zbMATH — the first resource for mathematics

ACM Transactions on Computational Logic

Short Title: ACM Trans. Comput. Log.
Publisher: Association for Computing Machinery (ACM), New York, NY
ISSN: 1529-3785; 1557-945X/e
Online: https://dl.acm.org/loi/tocl
Comments: Indexed cover-to-cover
Documents Indexed: 576 Publications (since 2000)
References Indexed: 120 Publications with 4,343 References.
all top 5

Authors

10 Gurevich, Yuri
8 Blass, Andreas Raphael
8 Eiter, Thomas
8 Kupferman, Orna
8 Subrahmanian, V. S.
7 Benedikt, Michael A.
7 Henzinger, Thomas A.
7 Neven, Frank
6 Chatterjee, Krishnendu
6 Denecker, Marc
6 Gottlob, Georg
6 Lazić, Ranko
6 Szeider, Stefan
5 Lauria, Massimo
5 Liberatore, Paolo
5 Libkin, Leonid O.
5 Olivetti, Nicola
5 Schwentick, Thomas
5 Vollmer, Heribert
5 Zakharyaschev, Michael Viktorovich
4 Atserias, Albert
4 Beyersdorff, Olaf
4 Cortier, Véronique
4 Creignou, Nadia
4 Ferrari, Mauro
4 Fiorentini, Camillo
4 Genaim, Samir
4 Ghilardi, Silvio
4 Grädel, Erich
4 Guglielmi, Alessio
4 Halpern, Joseph Yehuda
4 Pfenning, Frank
4 Segoufin, Luc
4 Serre, Olivier
4 Struth, Georg
4 Tan, Tony
4 Tiu, Alwen Fernanto
4 Tompits, Hans
4 Wang, Kewen
4 Woltran, Stefan
3 Albert, Elvira
3 Alur, Rajeev
3 Antoniou, Grigoris
3 Beckmann, Arnold
3 Bodirsky, Manuel
3 Bryant, Randal E.
3 Carayol, Arnaud
3 Chadha, Rohit
3 Ciabattoni, Agata
3 Delaune, Stéphanie
3 Demri, Stéphane P.
3 Dix, Jurgen
3 Dixon, Clare
3 Feng, Yuan
3 Fiorino, Guido
3 Gabbrielli, Maurizio
3 Galesi, Nicola
3 Goranko, Valentin F.
3 Grohe, Martin
3 Hustadt, Ullrich
3 Kieroński, Emanuel
3 Klaedtke, Felix
3 Kontinen, Juha
3 Kozen, Dexter C.
3 Kreutzer, Stephan
3 Kwiatkowska, Marta Z.
3 Lahav, Ori
3 Leone, Nicola
3 Liau, Churn-Jung
3 Lin, Fangzhen
3 Lukasiewicz, Thomas
3 Lutz, Carsten
3 Marion, Jean-Yves
3 Meier, Arne
3 Meo, Maria Chiara
3 Milius, Stefan
3 Miller, Dale Allen
3 Mogavero, Fabio
3 Murano, Aniello
3 Murawski, Andrzej S.
3 Nordström, Jakob
3 Rabe, Florian
3 Raskin, Jean-François
3 Sakama, Chiaki
3 Sebastiani, Roberto
3 Shakarian, Paulo
3 Shen, Yidong
3 Silva, Alexandra
3 Simari, Gerardo I.
3 Thapen, Neil
3 Vardi, Moshe Y.
3 Vennekens, Joost
3 Voronkov, Andrei
3 Wolter, Frank
3 Ying, Mingsheng
3 You, Jia-Huai
3 Zhang, Yan
2 Aehlig, Klaus
2 Angiulli, Fabrizio
2 Artikis, Alexander
...and 924 more Authors

Publications by Year

Citations contained in zbMATH Open

440 Publications have been cited 2,921 times in 2,327 Documents Cited by Year
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
126
2006
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
105
2001
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg
50
2006
Finite state machines for strings over infinite alphabets. Zbl 1367.68175
Neven, Frank; Schwentick, Thomas; Vianu, Victor
46
2004
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
43
2009
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri
40
2000
Model-checking continuous-time Markov chains. Zbl 1365.68313
Aziz, Adnan; Sanwal, Kumud; Singhal, Vigyan; Brayton, Robert
37
2000
A system of interaction and structure. Zbl 1367.03110
Guglielmi, Alessio
35
2007
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
34
2011
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y.
33
2001
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2010
Complexity of conservative constraint satisfaction problems. Zbl 1351.68113
Bulatov, Andrei A.
32
2011
A proof theory for generic judgments. Zbl 1367.03059
Miller, Dale; Tiu, Alwen
30
2005
Contextual modal type theory. Zbl 1367.03060
Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte
30
2008
Clausal temporal resolution. Zbl 1365.03017
Fisher, Michael; Dixon, Clare; Peim, Martin
29
2001
On Hoare logic and Kleene algebra with tests. Zbl 1365.68326
Kozen, Dexter
28
2000
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
28
2014
Probabilistic logic programming with conditional constraints. Zbl 1171.68762
Lukasiewicz, Thomas
27
2001
MSO definable string transductions and two-way finite-state transducers. Zbl 1171.03326
Engelfriet, Joost; Hoogeboom, Hendrik Jan
26
2001
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
24
2006
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J.
23
2004
Abstract versus concrete computation on metric partial algebras. Zbl 1367.68102
Tucker, J. V.; Zucker, J. I.
23
2004
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
23
2007
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
23
2009
Intuitionistic light affine logic. Zbl 1365.03040
Asperti, Andrea; Roversi, Luca
21
2002
Description logics of minimal knowledge and negation as failure. Zbl 1365.68403
Donini, Francesco M.; Nardi, Daniele; Rosati, Riccardo
21
2002
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
21
2013
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
21
2004
Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270
Ratschan, Stefan
21
2006
Representation results for defeasible logic. Zbl 1171.68740
Antoniou, Grigoris; Billington, David; Governatori, Guido; Maher, Michael J.
19
2001
Parametric temporal logic for “model measuring”. Zbl 1171.68544
Alur, Rajeev; Etessami, Kousha; La Torre, Salvatore; Peled, Doron
18
2001
Logic programs with propositional connectives and aggregates. Zbl 1351.68053
Ferraris, Paolo
18
2011
Algebra-coalgebra duality in Brzozowski’s minimization algorithm. Zbl 1288.68174
Bonchi, Filippo; Bonsangue, Marcello M.; Hansen, Helle H.; Panangaden, Prakash; Rutten, Jan J. M. M.; Silva, Alexandra
17
2014
Why are there so many loop formulas? Zbl 1367.68036
Lifschitz, Vladimir; Razborov, Alexander
17
2006
Reasoning with higher-order abstract syntax in a logical framework. Zbl 1365.68164
McDowell, Raymond C.; Miller, Dale A.
16
2002
Probabilistic game semantics. Zbl 1365.68310
Danos, Vincent; Harmer, Russell S.
16
2002
Finitary winning in \({\omega}\)-regular games. Zbl 1351.68156
Chatterjee, Krishnendu; Henzinger, Thomas A.; Horn, Florian
16
2009
Topological and simplicial models of identity types. Zbl 1352.03012
van den Berg, Benno; Garner, Richard
16
2012
The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101
Lumsdaine, Peter LeFanu; Warren, Michael A.
16
2015
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
15
2010
On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco
15
2015
A logic programming approach to knowledge-state planning, semantics and complexity. Zbl 1367.68301
Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald; Polleres, Axel
15
2004
A logic of nonmonotone inductive definitions. Zbl 1367.68278
Denecker, Marc; Ternovska, Eugenia
15
2008
Minimum model semantics for logic programs with negation-as-failure. Zbl 1367.68038
Rondogiannis, Panos; Wadge, William W.
14
2005
Automatic linear orders and trees. Zbl 1367.03070
Khoussainov, Bakhadyr; Rubin, Sasha; Stephan, Frank
14
2005
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
14
2017
Search and strategies in OPL. Zbl 1365.90281
Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François
13
2000
On the proof complexity of deep inference. Zbl 1351.03056
Bruscoli, Paola; Guglielmi, Alessio
13
2009
Mechanizing the metatheory of LF. Zbl 1351.68250
Urban, Christian; Cheney, James; Berghofer, Stefan
13
2011
Least and greatest fixed points in linear logic. Zbl 1352.03072
Baelde, David
13
2012
Nondeterministic phase semantics and the undecidability of Boolean BI. Zbl 1343.03022
Larchey-Wendling, Dominique; Galmiche, Didier
13
2013
On equivalence and canonical forms in the LF type theory. Zbl 1367.03055
Harper, Robert; Pfenning, Frank
13
2005
Soft concurrent constraint programming. Zbl 1367.68315
Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
13
2006
A sequent calculus and a theorem prover for standard conditional logics. Zbl 1367.68253
Olivetti, Nicola; Pozzato, Gian Luca; Schwind, Camilla B.
13
2007
A formally verified proof of the prime number theorem. Zbl 1367.68244
Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul
13
2007
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic. Zbl 1365.68317
Bryant, Randal E.; German, Steven; Velev, Miroslav N.
12
2001
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
12
2009
Automated termination proofs for logic programs by term rewriting. Zbl 1351.68054
Schneider-Kamp, Peter; Giesl, Jürgen; Serebrenik, Alexander; Thiemann, René
12
2009
Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186
Tiu, Alwen; Miller, Dale
12
2010
Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
12
2010
Hierarchies in dependence logic. Zbl 1352.03039
Durand, Arnaud; Kontinen, Juha
12
2012
An effective decision procedure for linear arithmetic over the integers and reals. Zbl 1407.03052
Boigelot, Bernard; Jodogne, Sébastien; Wolper, Pierre
12
2005
Proof nets for unit-free multiplicative-additive linear logic. Zbl 1367.03111
Hughes, Dominic J. D.; van Glabbeek, Rob J.
12
2005
Propositional computability logic. I. Zbl 1367.03056
Japaridze, Giorgi
12
2006
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
12
2008
Back and forth between guarded and modal logics. Zbl 1365.03019
Grädel, Erich; Hirsch, Colin; Otto, Martin
11
2002
Abstract state machines capture parallel algorithms. Zbl 1365.68253
Blass, Andreas; Gurevich, Yuri
11
2003
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
11
2009
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
11
2014
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
11
2005
Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039
Sakama, Chiaki
11
2005
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
11
2005
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
11
2005
Monodic temporal resolution. Zbl 1367.03035
Degtyarev, Anatoli; Fisher, Michael; Konev, Boris
11
2006
Propositional computability logic. II. Zbl 1367.03057
Japaridze, Giorgi
11
2006
First-order queries on structures of bounded degree are computable with constant delay. Zbl 1367.68086
Durand, Arnaud; Grandjean, Etienne
11
2007
Checking timed Büchi automata emptiness on simulation graphs. Zbl 1352.68165
Tripakis, Stavros
10
2009
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. Zbl 1351.03004
Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca
10
2009
A unified semantic framework for fully structural propositional sequent systems. Zbl 1354.03084
Lahav, Ori; Avron, Arnon
10
2013
Logics with counting and local properties. Zbl 1365.03025
Libkin, Leonid
9
2000
On knowledge-based programming with sensing in the situation calculus. Zbl 1365.68409
Reiter, Ray
9
2001
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. Zbl 1365.68340
Bravetti, Mario; Gorrieri, Roberto
9
2002
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
9
2014
Termination of rewriting under strategies. Zbl 1351.68129
Gnaedig, Isabelle; Kirchner, Hélène
9
2009
Succinctness of the complement and intersection of regular expressions. Zbl 1351.68139
Gelade, Wouter; Neven, Frank
9
2012
NExpTime-complete description logics with concrete domains. Zbl 1367.68288
Lutz, Carsten
9
2004
Arithmetic, first-order logic, and counting quantifiers. Zbl 1407.03050
Schweikardt, Nicole
9
2005
Alternating timed automata. Zbl 1367.68172
Lasota, Slawomir; Walukiewicz, Igor
9
2008
Verifiable agent interaction in abductive logic programming: the SCIFF framework. Zbl 1367.68273
Alberti, Marco; Chesani, Federico; Gavanelli, Marco; Lamma, Evelina; Mello, Paola; Torroni, Paolo
9
2008
Reasoning about actions with sensing under qualitative and probabilistic uncertainty. Zbl 1367.68281
Iocchi, Luca; Lukasiewicz, Thomas; Nardi, Daniele; Rosati, Riccardo
9
2009
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
9
2017
Locality of order-invariant first-order formulas. Zbl 1365.68204
Grohe, Martin; Schwentick, Thomas
8
2000
Verifying security protocols as planning in logic programming. Zbl 1365.68386
Carlucci Aiello, Luigia; Massacci, Fabio
8
2001
Logic programming revisited: logic programs as inductive definitions. Zbl 1365.68148
Denecker, Marc; Bruynooghe, Maurice; Marek, Victor
8
2001
Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203
Gottlob, Georg; Grädel, Erich; Veith, Helmut
8
2002
The marriage of effects and monads. Zbl 1365.68166
Wadler, Philip; Thiemann, Peter
8
2003
Simulation-based minimization. Zbl 1365.68319
Bustan, Doron; Grumberg, Orna
8
2003
Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105
Beckmann, Arnold; Buss, Samuel R.
8
2014
Deciding security properties for cryptographic protocols. application to key cycles. Zbl 1351.94035
Comon-Lundh, Hubert; Cortier, Véronique; Zălinescu, Eugen
8
2010
Structural focalization. Zbl 1354.03087
Simmons, Robert J.
8
2014
First-order interpretations of bounded expansion classes. Zbl 1446.68094
Gajarský, Jakub; Kreutzer, Stephan; Nešetřil, Jaroslav; Ossona de Mendez, Patrice; Pilipczuk, Michał; Siebertz, Sebastian; Toruńczyk, Szymon
3
2020
Idempotent anti-unification. Zbl 1433.68188
Cerna, David; Kutsia, Temur
2
2020
Typing messages for free in security protocols. Zbl 1433.68211
Chrétien, Rémy; Cortier, Véronique; Dallon, Antoine; Delaune, Stéphanie
1
2020
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
Adding successor. A transfer theorem for separation and covering. Zbl 1433.03103
Place, Thomas; Zeitoun, Marc
1
2020
Why liveness for timed automata is hard, and what we can do about it. Zbl 1446.68068
Herbreteau, Frédéric; Srivathsan, B.; Tran, Thanh-Tung; Walukiewicz, Igor
1
2020
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
3
2019
Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131
Lellmann, Björn; Pimentel, Elaine
2
2019
Proof complexity meets algebra. Zbl 1407.03070
Atserias, Albert; Ochremiak, Joanna
2
2019
A higher-order calculus of computational fields. Zbl 1407.68326
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
2
2019
Fast query answering over existential rules. Zbl 1433.68432
Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
2
2019
Binary reachability of timed-register pushdown automata and branching vector addition systems. Zbl 1433.68194
Clemente, Lorenzo; Lasota, Sławomir; Lazić, Ranko; Mazowiecki, Filip
1
2019
On the verification of livelock-freedom and self-stabilization on parameterized rings. Zbl 1433.68254
Klinkhamer, Alex; Ebnenasir, Ali
1
2019
1-safe Petri nets and special cube complexes. Equivalence and applications. Zbl 1433.68243
Chalopin, Jérémie; Chepoi, Victor
1
2019
Generalized Eilenberg theorem. Varieties of languages in a category. Zbl 1407.68315
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning
1
2019
Interval vs. point temporal logic model checking. An expressiveness comparison. Zbl 1407.68283
Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
1
2019
Complexity of propositional logics in team semantic. Zbl 1407.68291
Hannula, Miika; Kontinen, Juha; Virtema, Jonni; Vollmer, Heribert
5
2018
Incremental linearization for satisfiability and verification modulo nonlinear arithmetic and transcendental functions. Zbl 1407.68285
Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
4
2018
Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072
Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil
4
2018
An epistemic strategy logic. Zbl 1407.03020
Huang, Xiaowei; van der Meyden, Ron
3
2018
Path categories and propositional identity types. Zbl 1407.03005
van den Berg, Benno
2
2018
Automated equivalence checking of concurrent quantum systems. Zbl 1407.68276
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal
2
2018
Some subsystems of constant-depth Frege with parity. Zbl 1407.03074
Garlík, Michal; Kołodziejczyk, Leszek Aleksander
2
2018
Game-theoretic semantics for alternating-time temporal logic. Zbl 1407.03030
Goranko, Valentin; Kuusisto, Antti; Rönnholm, Raine
2
2018
Compositional synthesis of piece-wise functions by learning classifiers. Zbl 1407.68411
Neider, Daniel; Saha, Shambwaditya; Madhusudan, P.
1
2018
Hypersequents and systems of rules, embeddings and applications. Zbl 1407.03066
Ciabattoni, Agata; Genco, Francesco A.
1
2018
Geometry of interaction for MALL via Hughes-Van Glabbeek proof-nets. Zbl 1407.03077
Hamano, Masahiro
1
2018
Parallel cost analysis. Zbl 1407.68062
Albert, Elvira; Correas, Jesús; Johnsen, Einar Broch; Pun, Ka I.; Román-Díez, Guillermo
1
2018
Hierarchies in inclusion logic with lax semantics. Zbl 1407.03040
Hannula, Miika
1
2018
Typed nominal rewriting. Zbl 1407.68240
Fairweather, Elliot; Fernández, Maribel
1
2018
Finite satisfiability of the two-variable guarded fragment with transitive guards and related variants. Zbl 1407.03009
Kieroński, Emanuel; Tendera, Lidia
1
2018
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
14
2017
An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. Zbl 1367.68211
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J.
9
2017
Horn fragments of the Halpern-Shoham interval temporal logic. Zbl 1407.03029
Bresolin, Davide; Kurucz, Agi; Muñoz-Velasco, Emilio; Ryzhikov, Vladislav; Sciavicco, Guido; Zakharyaschev, Michael
4
2017
Algorithmic compression of finite tree languages by rigid acyclic grammars. Zbl 1407.68251
Eberhard, Sebastian; Ebner, Gabriel; Hetzl, Stefan
3
2017
The NP search problems of Frege and extended Frege proofs. Zbl 1407.03071
Beckmann, Arnold; Buss, Sam
3
2017
The complexity of phylogeny constraint satisfaction problems. Zbl 1407.68206
Bodirsky, Manuel; Jonsson, Peter; Pham, Trung Van
3
2017
Nested weighted automata. Zbl 1407.68248
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan
2
2017
Equations, contractions, and unique solutions. Zbl 1367.68212
Sangiorgi, Davide
2
2017
Datalog queries distributing over components. Zbl 1367.68081
Ameloot, Tom J.; Ketsman, Bas; Neven, Frank; Zinn, Daniel
2
2017
Merging in the Horn fragment. Zbl 1367.68280
Haret, Adrian; Rümmele, Stefan; Woltran, Stefan
2
2017
Graph logics with rational relations: the role of word combinatorics. Zbl 1367.68082
Barceló, Pablo; Muñoz, Pablo
2
2017
Differential hybrid games. Zbl 1407.91056
Platzer, André
2
2017
The logical view on continuous Petri nets. Zbl 1407.68329
Blondin, Michael; Finkel, Alain; Haase, Christoph; Haddad, Serge
2
2017
Managing change in graph-structured data using description logics. Zbl 1407.68122
Ahmetaj, Shqiponja; Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
1
2017
Detecting decidable classes of finitely ground logic programs with function symbols. Zbl 1407.68078
Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
1
2017
One hierarchy spawns another, graph deconstructions and the complexity classification of conjunctive queries. Zbl 1407.68211
Chen, Hubie; Müller, Moritz
1
2017
Abstract program slicing: an abstract interpretation-based approach to program slicing. Zbl 1367.68070
Mastroeni, Isabella; Zanardini, Damiano
1
2017
Quantified constraint satisfaction problem on semicomplete digraphs. Zbl 1367.68115
Đapić, Petar; Marković, Petar; Martin, Barnaby
1
2017
A Hoare logic for GPU kernels. Zbl 1367.68066
Kojima, Kensuke; Igarashi, Atsushi
1
2017
Automated generation of erotetic search scenarios: classification, optimization, and knowledge extraction. Zbl 1367.68277
Chlebowski, Szymon; Komosinski, Maciej; Kups, Adam
1
2017
Possibilistic justification logic: reasoning about justified uncertain beliefs. Zbl 1407.03023
Su, Che-Ping; Fan, Tuan-Fang; Liau, Churn-Jung
1
2017
Progression of decomposed local-effect action theories. Zbl 1367.68292
Ponomaryov, Denis; Soutchanski, Mikhail
1
2017
The probability of a computable output from a random oracle. Zbl 1407.03056
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
1
2017
Power and limits of structural display rules. Zbl 1407.03067
Ciabattoni, Agata; Ramanayake, Revantha
7
2016
Expressive completeness of separation logic with two variables and no separating conjunction. Zbl 1367.03053
Demri, Stephane; Deters, Morgan
5
2016
Narrow proofs may be maximally long. Zbl 1367.03104
Atserias, Albert; Lauria, Massimo; Nordström, Jakob
4
2016
Automated verification of equivalence properties of cryptographic protocols. Zbl 1367.68184
Chadha, Rohit; Cheval, Vincent; Ciobâcă, Ştefan; Kremer, Steve
4
2016
Model checking existential logic on partially ordered sets. Zbl 1367.68182
Bova, Simone; Ganian, Robert; Szeider, Stefan
3
2016
The Hoare logic of deterministic and nondeterministic monadic recursion schemes. Zbl 1367.68069
Mamouras, Konstantinos
2
2016
Correctness and completeness of logic programs. Zbl 1367.68030
Drabent, Włodzimierz
2
2016
Index problems for game automata. Zbl 1367.68167
Facchini, Alessandro; Murlak, Filip; Skrzypczak, Michał
2
2016
Taming multirelations. Zbl 1407.03080
Furusawa, Hitoshi; Struth, Georg
2
2016
Complexity of two-variable logic on finite trees. Zbl 1367.03062
Benaim, Saguy; Benedikt, Michael; Charatonik, Witold; Kieroński, Emanuel; Lenhardt, Rastislav; Mazowiecki, Filip; Worrell, James
2
2016
Where first-order and monadic second-order logic coincide. Zbl 1407.03003
Elberfeld, Michael; Grohe, Martin; Tantau, Till
2
2016
Effective interpolation and preservation in guarded logics. Zbl 1367.03036
Benedikt, Michael; ten Cate, Balder; Vanden Boom, Michael
1
2016
Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency. Zbl 1367.68210
Dongol, Brijesh; Hayes, Ian J.; Struth, Georg
1
2016
Belief merging within fragments of propositional logic. Zbl 1367.03034
Creignou, Nadia; Papini, Odile; Rümmele, Stefan; Woltran, Stefan
1
2016
A model for phase transition of random answer-set programs. Zbl 1367.68043
Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen
1
2016
How hard is positive quantification? Zbl 1367.03021
Schubert, Aleksy; Urzyczyn, Paweł; Walukiewicz-Chrząszcz, Daria
1
2016
The local universes model: an overlooked coherence construction for dependent type theories. Zbl 1354.03101
Lumsdaine, Peter LeFanu; Warren, Michael A.
16
2015
On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco
15
2015
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia
8
2015
Nonelementary complexities for branching VASS, MELL, and extensions. Zbl 1354.68128
Lazić, Ranko; Schmitz, Sylvain
5
2015
Probabilistic event calculus for event recognition. Zbl 1354.68266
Skarlatidis, Anastasios; Paliouras, Georgios; Artikis, Alexander; Vouros, George A.
5
2015
Backdoors to normality for disjunctive logic programs. Zbl 1367.68032
Fichte, Johannes K.; Szeider, Stefan
5
2015
A SAT approach to clique-width. Zbl 1354.68240
Heule, Marijn J. H.; Szeider, Stefan
4
2015
Concurrent dynamic algebra. Zbl 1367.03054
Furusawa, Hitoshi; Struth, Georg
4
2015
Two-variable separation logic and its inner circle. Zbl 1354.03036
Demri, Stéphane; Deters, Morgan
4
2015
Reasoning about substructures and games. Zbl 1354.03019
Benerecetti, Massimo; Mogavero, Fabio; Murano, Aniello
4
2015
DL-Lite ontology revision based on an alternative semantic characterization. Zbl 1367.68297
Wang, Zhe; Wang, Kewen; Topor, Rodney
3
2015
Łukasiewicz games: a logic-based approach to quantitative strategic interactions. Zbl 1367.68289
Marchioni, Enrico; Wooldridge, Michael
3
2015
An evaluation-driven decision procedure for G3i. Zbl 1354.03083
Ferrari, Mauro; Fiorentini, Camillo; Fiorino, Guido
2
2015
On the power of substitution in the calculus of structures. Zbl 1354.03091
Novaković, Novak; Straßburger, Lutz
2
2015
From small space to small width in resolution. Zbl 1367.03105
Filmus, Yuval; Lauria, Massimo; Mikša, Mladen; Nordström, Jakob; Vinyals, Marc
2
2015
Abstraction in fixpoint logic. Zbl 1367.68187
Cranen, Sjoerd; Gazda, Maciej; Wesselink, Wieger; Willemse, Tim A. C.
2
2015
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting. Zbl 1354.03022
Hampson, Christopher; Kurucz, Agi
2
2015
Logical characterizations of behavioral relations on transition systems of probability distributions. Zbl 1354.68192
Crafa, Silvia; Ranzato, Francesco
1
2015
Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains. Zbl 1354.68168
Biscaia, M.; Henriques, D.; Mateus, P.
1
2015
Minimizing deterministic lattice automata. Zbl 1354.68156
Halamish, Shulamit; Kupferman, Orna
1
2015
Why is it hard to obtain a dichotomy for consistent query answering? Zbl 1354.68072
Fontaine, Gaëlle
1
2015
Bounds for the quantifier depth in finite-variable logics: alternation hierarchy. Zbl 1354.03038
Berkholz, Christoph; Krebs, Andreas; Verbitsky, Oleg
1
2015
Logic of intuitionistic interactive proofs (formal theory of perfect knowledge transfer). Zbl 1367.68282
Kramer, Simon
1
2015
Differential game logic. Zbl 1367.68201
Platzer, André
1
2015
From security protocols to pushdown automata. Zbl 1367.68186
Chrétien, Rémy; Cortier, Véronique; Delaune, Stéphanie
1
2015
Optimal tableau method for constructive satisfiability testing and model synthesis in the alternating-time temporal logic \(\mathrm{ATL}^+\). Zbl 1367.68246
Cerrito, Serenella; David, Amélie; Goranko, Valentin
1
2015
Lax theory morphisms. Zbl 1367.03061
Rabe, Florian
1
2015
An assertional proof of the stability and correctness of Natural Mergesort. Zbl 1367.68080
Leino, K. Rustan M.; Lucio, Paqui
1
2015
Efficiently deciding \(\mu\)-calculus with converse over finite trees. Zbl 1354.68124
Genevès, Pierre; Layaïda, Nabil; Schmitt, Alan; Gesbert, Nils
1
2015
Higher homotopies in a hierarchy of univalent universes. Zbl 1354.03100
Kraus, Nicolai; Sattler, Christian
1
2015
...and 340 more Documents
all top 5

Cited by 2,960 Authors

28 Eiter, Thomas
26 Woltran, Stefan
22 Chatterjee, Krishnendu
19 Möller, Bernhard
16 Kupferman, Orna
16 Murano, Aniello
15 Denecker, Marc
15 Struth, Georg
15 Truszczyński, Mirosław
15 Vardi, Moshe Y.
14 Alviano, Mario
14 Demri, Stéphane P.
14 Milius, Stefan
14 Rondogiannis, Panos
14 Straßburger, Lutz
13 Dixon, Clare
13 Leone, Nicola
13 Lukasiewicz, Thomas
13 Pattinson, Dirk
13 Pientka, Brigitte
12 Gebser, Martin
12 Henzinger, Thomas A.
12 Lifschitz, Vladimir
12 Raskin, Jean-François
12 Wolter, Frank
12 Zakharyaschev, Michael Viktorovich
11 Cabalar, Pedro
11 Dal Lago, Ugo
11 Faber, Wolfgang
11 Ricca, Francesco
10 Beyersdorff, Olaf
10 Bogaerts, Bart
10 Bouyer, Patricia
10 Dershowitz, Nachum
10 Dodaro, Carmine
10 Giesl, Jürgen
10 Gottlob, Georg
10 Japaridze, Giorgi
10 Katoen, Joost-Pieter
10 Meseguer Guaita, José
10 Olarte, Carlos
10 Ringeissen, Christophe
10 Schröder, Lutz
10 Schwentick, Thomas
10 Tucker, John V.
10 Zimmermann, Martín G.
10 Zucker, Jeffery I.
9 Aceto, Luca
9 Fink, Michael
9 Giordano, Laura
9 Ingólfsdóttir, Anna
9 Leite, João
9 Lierler, Yuliya
9 Maratea, Marco
9 Meier, Arne
9 Mogavero, Fabio
9 Murawski, Andrzej S.
9 Otop, Jan
9 Schaub, Torsten H.
9 Vollmer, Heribert
8 Baier, Christel
8 Baillot, Patrick
8 Boker, Udi
8 Ciabattoni, Agata
8 Delaune, Stéphanie
8 Fokkink, Willem Jan
8 Gabbay, Murdoch James
8 Governatori, Guido
8 Hustadt, Ullrich
8 Kwiatkowska, Marta Z.
8 Lin, Fangzhen
8 Miller, Dale Allen
8 Olivetti, Nicola
8 Perelli, Giuseppe
8 Pimentel, Elaine
8 Reynier, Pierre-Alain
8 Tini, Simone
8 Tiu, Alwen Fernanto
8 Worrell, James B.
7 Baader, Franz
7 Bodirsky, Manuel
7 Bollig, Benedikt
7 Bonacina, Maria Paola
7 Fandinno, Jorge
7 Filiot, Emmanuel
7 Ghilardi, Silvio
7 Grohe, Martin
7 Gurevich, Yuri
7 Hell, Pavol
7 Jackson, Marcel G.
7 Janhunen, Tomi
7 Lauria, Massimo
7 Lee, Joohyung
7 Lohrey, Markus
7 Martens, Wim
7 Momigliano, Alberto
7 Neven, Frank
7 Panangaden, Prakash
7 Pozzato, Gian Luca
7 Schmidt, Renate A.
...and 2,860 more Authors
all top 5

Cited in 135 Journals

179 Theoretical Computer Science
137 Theory and Practice of Logic Programming
135 Information and Computation
126 Artificial Intelligence
87 Logical Methods in Computer Science
65 Journal of Computer and System Sciences
61 Annals of Pure and Applied Logic
56 ACM Transactions on Computational Logic
54 Journal of Automated Reasoning
48 Journal of Logical and Algebraic Methods in Programming
47 MSCS. Mathematical Structures in Computer Science
45 Annals of Mathematics and Artificial Intelligence
35 Journal of Applied Logic
34 International Journal of Approximate Reasoning
33 Acta Informatica
32 The Journal of Logic and Algebraic Programming
30 Theory of Computing Systems
29 Information Processing Letters
28 Journal of Applied Non-Classical Logics
26 Formal Methods in System Design
21 Studia Logica
20 Formal Aspects of Computing
19 Journal of Functional Programming
16 The Journal of Symbolic Logic
16 Constraints
13 Fuzzy Sets and Systems
13 International Journal of Foundations of Computer Science
12 Fundamenta Informaticae
11 Journal of Symbolic Computation
10 Discrete Applied Mathematics
10 The Bulletin of Symbolic Logic
9 Machine Learning
9 Archive for Mathematical Logic
9 Journal of Logic, Language and Information
8 Journal of Philosophical Logic
8 Journal of Pure and Applied Algebra
8 SIAM Journal on Computing
8 Science of Computer Programming
6 Information Sciences
6 Synthese
6 Computational Complexity
6 Journal of the ACM
5 International Journal of Theoretical Physics
5 Algebra Universalis
5 Applied Mathematics and Computation
5 Mathematical Logic Quarterly (MLQ)
5 Logica Universalis
4 International Journal of Algebra and Computation
4 Soft Computing
4 Mathematics in Computer Science
4 Computer Science Review
3 Automatica
3 Notre Dame Journal of Formal Logic
3 Computers & Operations Research
3 SIAM Journal on Discrete Mathematics
3 The Journal of Artificial Intelligence Research (JAIR)
3 RAIRO. Theoretical Informatics and Applications
3 International Game Theory Review
3 The Review of Symbolic Logic
3 RAIRO. Theoretical Informatics and Applications
3 Frontiers of Computer Science
2 Communications in Algebra
2 Discrete Mathematics
2 Lithuanian Mathematical Journal
2 Journal of Combinatorial Theory. Series B
2 Programming and Computer Software
2 Transactions of the American Mathematical Society
2 European Journal of Combinatorics
2 Journal of Computer Science and Technology
2 Algorithmica
2 Journal of Global Optimization
2 International Journal of Computer Mathematics
2 Cybernetics and Systems Analysis
2 Journal of Mathematical Sciences (New York)
2 Theory and Applications of Categories
2 Discrete Mathematics and Theoretical Computer Science. DMTCS
2 Logic and Logical Philosophy
2 Computer Languages, Systems & Structures
2 Nonlinear Analysis. Hybrid Systems
2 Higher Structures
1 ACM Computing Surveys
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 ACM Transactions on Database Systems
1 Advances in Mathematics
1 Fundamenta Mathematicae
1 Journal of Algebra
1 Kybernetika
1 Mathematica Slovaca
1 Mathematische Zeitschrift
1 Combinatorica
1 Graphs and Combinatorics
1 Applied Mathematics Letters
1 Forum Mathematicum
1 Annals of Operations Research
1 Real-Time Systems
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Computational Geometry
...and 35 more Journals
all top 5

Cited in 39 Fields

1,931 Computer science (68-XX)
993 Mathematical logic and foundations (03-XX)
95 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
52 Category theory; homological algebra (18-XX)
49 Combinatorics (05-XX)
46 Operations research, mathematical programming (90-XX)
39 General algebraic systems (08-XX)
28 Order, lattices, ordered algebraic structures (06-XX)
28 Information and communication theory, circuits (94-XX)
22 Probability theory and stochastic processes (60-XX)
19 Algebraic topology (55-XX)
19 Quantum theory (81-XX)
16 Biology and other natural sciences (92-XX)
15 Systems theory; control (93-XX)
12 Group theory and generalizations (20-XX)
11 History and biography (01-XX)
8 General and overarching topics; collections (00-XX)
7 Associative rings and algebras (16-XX)
7 General topology (54-XX)
5 Number theory (11-XX)
5 Numerical analysis (65-XX)
4 Mechanics of particles and systems (70-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Convex and discrete geometry (52-XX)
2 Commutative algebra (13-XX)
2 Algebraic geometry (14-XX)
2 Real functions (26-XX)
2 Ordinary differential equations (34-XX)
2 Dynamical systems and ergodic theory (37-XX)
2 Operator theory (47-XX)
2 Statistics (62-XX)
2 Mathematics education (97-XX)
1 Field theory and polynomials (12-XX)
1 Nonassociative rings and algebras (17-XX)
1 Topological groups, Lie groups (22-XX)
1 Measure and integration (28-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Manifolds and cell complexes (57-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year