×

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: http://dl.acm.org/pub.cfm?id=J773
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 925 more Authors

Publications by Year

Citations contained in zbMATH Open

432 Publications have been cited 2,830 times in 2,248 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
123
2006
Strongly equivalent logic programs. Zbl 1365.68149
Lifschitz, Vladimir; Pearce, David; Valverde, Agustín
104
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
43
2004
LTL with the freeze quantifier and register automata. Zbl 1351.68158
Demri, Stéphane; Lazić, Ranko
41
2009
Sequential abstract-state machines capture sequential algorithms. Zbl 1365.68258
Gurevich, Yuri
39
2000
Model-checking continuous-time Markov chains. Zbl 1365.68313
Aziz, Adnan; Sanwal, Kumud; Singhal, Vigyan; Brayton, Robert
36
2000
A system of interaction and structure. Zbl 1367.03110
Guglielmi, Alessio
35
2007
Quantitative languages. Zbl 1351.68155
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.
33
2010
Weak alternating automata are not that weak. Zbl 1171.68551
Kupferman, Orna; Vardi, Moshe Y.
32
2001
Two-variable logic on data words. Zbl 1352.03041
Bojańczyk, Mikołaj; David, Claire; Muscholl, Anca; Schwentick, Thomas; Segoufin, Luc
32
2011
Complexity of conservative constraint satisfaction problems. Zbl 1351.68113
Bulatov, Andrei A.
31
2011
A proof theory for generic judgments. Zbl 1367.03059
Miller, Dale; Tiu, Alwen
30
2005
On Hoare logic and Kleene algebra with tests. Zbl 1365.68326
Kozen, Dexter
28
2000
Clausal temporal resolution. Zbl 1365.03017
Fisher, Michael; Dixon, Clare; Peim, Martin
28
2001
Contextual modal type theory. Zbl 1367.03060
Nanevski, Aleksandar; Pfenning, Frank; Pientka, Brigitte
28
2008
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
25
2001
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
24
2014
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
Unfolding partiality and disjunctions in stable model semantics. Zbl 1367.68035
Janhunen, Tomi; Niemelä, Ilkka; Seipel, Dietmar; Simons, Patrik; You, Jia-Huai
23
2006
New results on rewrite-based satisfiability procedures. Zbl 1367.68243
Armando, Alessandro; Bonacina, Maria Paola; Ranise, Silvio; Schulz, Stephan
23
2009
Semantical characterizations and complexity of equivalences in answer set programming. Zbl 1367.68031
Eiter, Thomas; Fink, Michael; Woltran, Stefan
22
2007
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
Deterministic generators and games for LTL fragments. Zbl 1366.03181
Alur, Rajeev; La Torre, Salvatore
20
2004
Efficient solving of quantified inequality constraints over the real numbers. Zbl 1367.68270
Ratschan, Stefan
20
2006
Sound and complete axiomatizations of coalgebraic language equivalence. Zbl 1353.68186
Bonsangue, Marcello M.; Milius, Stefan; Silva, Alexandra
20
2013
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
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
Logic programs with propositional connectives and aggregates. Zbl 1351.68053
Ferraris, Paolo
17
2011
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
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
Efficient generation of Craig interpolants in satisfiability modulo theories. Zbl 1351.68247
Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
14
2010
Search and strategies in OPL. Zbl 1365.90281
Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-François
13
2000
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
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
13
2017
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
On the complexity of probabilistic abstract argumentation frameworks. Zbl 1354.68253
Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco
13
2015
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
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
Automated termination proofs for logic programs by term rewriting. Zbl 1351.68054
Schneider-Kamp, Peter; Giesl, Jürgen; Serebrenik, Alexander; Thiemann, René
12
2009
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
Nondeterministic phase semantics and the undecidability of Boolean BI. Zbl 1343.03022
Larchey-Wendling, Dominique; Galmiche, Didier
12
2013
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
Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039
Sakama, Chiaki
11
2005
Sequent and hypersequent calculi for abelian and Łukasiewicz logics. Zbl 1407.03037
Metcalfe, George; Olivetti, Nicola; Gabbay, Dov
11
2005
An effective decision procedure for linear arithmetic over the integers and reals. Zbl 1407.03052
Boigelot, Bernard; Jodogne, Sébastien; Wolper, Pierre
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
Undecidability of the unification and admissibility problems for modal and description logics. Zbl 1367.03026
Wolter, Frank; Zakharyaschev, Michael
11
2008
Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186
Tiu, Alwen; Miller, Dale
11
2010
A classification of symbolic transition systems. Zbl 1367.68193
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François
10
2005
From linear time to branching time. Zbl 1367.68195
Kupferman, Orna; Vardi, Moshe Y.
10
2005
PSPACE bounds for rank-1 modal logics. Zbl 1351.03015
Schröder, Lutz; Pattinson, Dirk
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
An algebra of quantum processes. Zbl 1351.68187
Ying, Mingsheng; Feng, Yuan; Duan, Runyao; Ji, Zhengfeng
10
2009
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
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
Reasoning about actions with sensing under qualitative and probabilistic uncertainty. Zbl 1367.68281
Iocchi, Luca; Lukasiewicz, Thomas; Nardi, Daniele; Rosati, Riccardo
9
2009
Termination of rewriting under strategies. Zbl 1351.68129
Gnaedig, Isabelle; Kirchner, Hélène
9
2009
Checking timed Büchi automata emptiness on simulation graphs. Zbl 1352.68165
Tripakis, Stavros
9
2009
Succinctness of the complement and intersection of regular expressions. Zbl 1351.68139
Gelade, Wouter; Neven, Frank
9
2012
A unified semantic framework for fully structural propositional sequent systems. Zbl 1354.03084
Lahav, Ori; Avron, Arnon
9
2013
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
9
2014
Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105
Beckmann, Arnold; Buss, Samuel R.
8
2014
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
Splitting an operator: algebraic modularity results for logics with fixpoint semantics. Zbl 1367.68295
Vennekens, Joost; Gilis, David; Denecker, Marc
8
2006
Abstract canonical inference. Zbl 1367.03023
Bonacina, Maria Paola; Dershowitz, Nachum
8
2007
A concrete framework for environment machines. Zbl 1367.68093
Biernacka, Małgorzata; Danvy, Olivier
8
2007
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
8
2008
Structural focalization. Zbl 1354.03087
Simmons, Robert J.
8
2014
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
7
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
Fast query answering over existential rules. Zbl 1433.68432
Leone, Nicola; Manna, Marco; Terracina, Giorgio; Veltri, Pierfrancesco
2
2019
Proof complexity meets algebra. Zbl 1407.03070
Atserias, Albert; Ochremiak, Joanna
2
2019
Checking admissibility using natural dualities. Zbl 1407.03010
Cabrer, Leonardo M.; Freisberg, Benjamin; Metcalfe, George; Priestley, Hilary A.
2
2019
A higher-order calculus of computational fields. Zbl 1407.68326
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
2
2019
Modularisation of sequent calculi for normal and non-normal modalities. Zbl 1433.03131
Lellmann, Björn; Pimentel, Elaine
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
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
Are short proofs narrow? QBF resolution is not so simple. Zbl 1407.03072
Beyersdorff, Olaf; Chew, Leroy; Mahajan, Meena; Shukla, Anil
4
2018
Path categories and propositional identity types. Zbl 1407.03005
van den Berg, Benno
2
2018
An epistemic strategy logic. Zbl 1407.03020
Huang, Xiaowei; van der Meyden, Ron
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
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
2
2018
Typed nominal rewriting. Zbl 1407.68240
Fairweather, Elliot; Fernández, Maribel
1
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
Collapsible pushdown automata and recursion schemes. Zbl 1407.68256
Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier
13
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.
6
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
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
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
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
Equations, contractions, and unique solutions. Zbl 1367.68212
Sangiorgi, Davide
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
13
2015
Backdoors to normality for disjunctive logic programs. Zbl 1367.68032
Fichte, Johannes K.; Szeider, Stefan
5
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
Optimization modulo theories with linear rational costs. Zbl 1354.68233
Sebastiani, Roberto; Tomasi, Silvia
5
2015
Concurrent dynamic algebra. Zbl 1367.03054
Furusawa, Hitoshi; Struth, Georg
4
2015
A SAT approach to clique-width. Zbl 1354.68240
Heule, Marijn J. H.; Szeider, Stefan
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
Two-variable separation logic and its inner circle. Zbl 1354.03036
Demri, Stéphane; Deters, Morgan
3
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
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
Undecidable propositional bimodal logics and one-variable first-order linear temporal logics with counting. Zbl 1354.03022
Hampson, Christopher; Kurucz, Agi
2
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
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
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
Reasoning about strategies: on the model-checking problem. Zbl 1354.68178
Mogavero, Fabio; Murano, Aniello; Perelli, Giuseppe; Vardi, Moshe Y.
24
2014
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
Temporal specifications with accumulative values. Zbl 1354.68169
Boker, Udi; Chatterjee, Krishnendu; Henzinger, Thomas A.; Kupferman, Orna
9
2014
Improved witnessing and local improvement principles for second-order bounded arithmetic. Zbl 1287.03105
Beckmann, Arnold; Buss, Samuel R.
8
2014
Structural focalization. Zbl 1354.03087
Simmons, Robert J.
8
2014
Partial-observation stochastic games, how to win when belief fails. Zbl 1291.91021
Chatterjee, Krishnendu; Doyen, Laurent
7
2014
Quantifier-free interpolation in combinations of equality interpolating theories. Zbl 1287.03068
Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio
7
2014
...and 332 more Documents
all top 5

Cited by 2,854 Authors

27 Eiter, Thomas
26 Woltran, Stefan
22 Chatterjee, Krishnendu
19 Möller, Bernhard
16 Murano, Aniello
16 Vardi, Moshe Y.
15 Denecker, Marc
15 Kupferman, Orna
15 Struth, Georg
15 Truszczyński, Mirosław
14 Alviano, Mario
14 Rondogiannis, Panos
14 Straßburger, Lutz
13 Dixon, Clare
13 Leone, Nicola
13 Lukasiewicz, Thomas
12 Demri, Stéphane P.
12 Gebser, Martin
12 Henzinger, Thomas A.
12 Lifschitz, Vladimir
12 Milius, Stefan
12 Pattinson, Dirk
12 Pientka, Brigitte
12 Raskin, Jean-François
11 Cabalar, Pedro
11 Dal Lago, Ugo
11 Faber, Wolfgang
11 Ricca, Francesco
11 Wolter, Frank
11 Zakharyaschev, Michael Viktorovich
10 Beyersdorff, Olaf
10 Bouyer, Patricia
10 Dershowitz, Nachum
10 Dodaro, Carmine
10 Gottlob, Georg
10 Japaridze, Giorgi
10 Katoen, Joost-Pieter
10 Meseguer Guaita, José
10 Olarte, Carlos
10 Ringeissen, Christophe
10 Tucker, John V.
10 Zimmermann, Martín G.
10 Zucker, Jeffery I.
9 Aceto, Luca
9 Bogaerts, Bart
9 Fink, Michael
9 Giesl, Jürgen
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 Schaub, Torsten H.
9 Schröder, Lutz
9 Schwentick, Thomas
9 Vollmer, Heribert
8 Baier, Christel
8 Baillot, Patrick
8 Boker, Udi
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 Murawski, Andrzej S.
8 Olivetti, Nicola
8 Otop, Jan
8 Perelli, Giuseppe
8 Pimentel, Elaine
8 Tini, Simone
8 Worrell, James B.
7 Baader, Franz
7 Bodirsky, Manuel
7 Bollig, Benedikt
7 Bonacina, Maria Paola
7 Ciabattoni, Agata
7 Delaune, Stéphanie
7 Fandinno, Jorge
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 Reynier, Pierre-Alain
7 Schmidt, Renate A.
7 Schockaert, Steven
7 Schweikardt, Nicole
7 Tiu, Alwen Fernanto
...and 2,754 more Authors
all top 5

Cited in 133 Journals

179 Theoretical Computer Science
137 Theory and Practice of Logic Programming
135 Information and Computation
117 Artificial Intelligence
76 Logical Methods in Computer Science
65 Journal of Computer and System Sciences
60 Annals of Pure and Applied Logic
56 ACM Transactions on Computational Logic
49 Journal of Automated Reasoning
47 MSCS. Mathematical Structures in Computer Science
47 Journal of Logical and Algebraic Methods in Programming
45 Annals of Mathematics and Artificial Intelligence
35 Journal of Applied Logic
33 Acta Informatica
33 International Journal of Approximate Reasoning
32 The Journal of Logic and Algebraic Programming
30 Theory of Computing Systems
28 Information Processing Letters
28 Journal of Applied Non-Classical Logics
26 Formal Methods in System Design
20 Studia Logica
20 Formal Aspects of Computing
19 Journal of Functional Programming
16 Constraints
15 The Journal of Symbolic Logic
13 Fuzzy Sets and Systems
13 International Journal of Foundations of Computer Science
11 Journal of Symbolic Computation
10 The Bulletin of Symbolic Logic
9 Discrete Applied Mathematics
9 Archive for Mathematical Logic
9 Journal of Logic, Language and Information
9 Fundamenta Informaticae
8 Journal of Philosophical Logic
8 Journal of Pure and Applied Algebra
8 SIAM Journal on Computing
8 Science of Computer Programming
7 Machine Learning
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 Notre Dame Journal of Formal Logic
3 Computers & Operations Research
3 SIAM Journal on Discrete Mathematics
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 Automatica
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 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
1 Journal of Statistical Computation and Simulation
1 Distributed Computing
...and 33 more Journals
all top 5

Cited in 39 Fields

1,864 Computer science (68-XX)
964 Mathematical logic and foundations (03-XX)
95 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
51 Category theory; homological algebra (18-XX)
49 Combinatorics (05-XX)
44 Operations research, mathematical programming (90-XX)
38 General algebraic systems (08-XX)
28 Order, lattices, ordered algebraic structures (06-XX)
23 Information and communication theory, circuits (94-XX)
22 Probability theory and stochastic processes (60-XX)
19 Algebraic topology (55-XX)
17 Quantum theory (81-XX)
16 Biology and other natural sciences (92-XX)
13 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 Real functions (26-XX)
3 Convex and discrete geometry (52-XX)
2 Commutative algebra (13-XX)
2 Algebraic geometry (14-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