- 2014
- Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15(3): 25:1-25:50 (2014) - Markus Aschinger, Conrad Drescher, Georg Gottlob, Heribert Vollmer:
LoCo - A Logic for Configuration Problems. ACM Trans. Comput. Log. 15(3): 20:1-20:25 (2014) - Vernon Asuncion, Yan Zhang, Yi Zhou:
Preferred First-Order Answer Set Programs. ACM Trans. Comput. Log. 15(2): 11:1-11:42 (2014) - Albert Atserias, Anuj Dawar:
Degree lower bounds of tower-type for approximating formulas with parity quantifiers. ACM Trans. Comput. Log. 15(1): 6:1-6:24 (2014) - Albert Atserias, Neil Thapen:
The Ordering Principle in a Fragment of Approximate Counting. ACM Trans. Comput. Log. 15(4): 29:1-29:11 (2014) - Matthew S. Bauer:
A PSPACE-complete first-order fragment of computability logic. ACM Trans. Comput. Log. 15(1): 1:1-1:11 (2014) - Arnold Beckmann, Samuel R. Buss:
Improved witnessing and local improvement principles for second-order bounded arithmetic. ACM Trans. Comput. Log. 15(1): 2:1-2:35 (2014) - Arnold Beckmann, Pavel Pudlák, Neil Thapen:
Parity Games and Propositional Proofs. ACM Trans. Comput. Log. 15(2): 17:1-17:30 (2014) - Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman:
Temporal Specifications with Accumulative Values. ACM Trans. Comput. Log. 15(4): 27:1-27:25 (2014) - Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun:
Pebble Weighted Automata and Weighted Logics. ACM Trans. Comput. Log. 15(2): 15:1-15:35 (2014) - Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva:
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ACM Trans. Comput. Log. 15(1): 3:1-3:29 (2014) - Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale:
A General Theory of Barbs, Contexts, and Labels. ACM Trans. Comput. Log. 15(4): 35:1-35:27 (2014) - Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Quantifier-free interpolation in combinations of equality interpolating theories. ACM Trans. Comput. Log. 15(1): 5:1-5:34 (2014) - Arnaud Carayol, Axel Haddad, Olivier Serre:
Randomization in Automata on Infinite Trees. ACM Trans. Comput. Log. 15(3): 24:1-24:33 (2014) - Krishnendu Chatterjee, Laurent Doyen:
Partial-Observation Stochastic Games: How to Win when Belief Fails. ACM Trans. Comput. Log. 15(2): 16:1-16:44 (2014) - Hubie Chen:
On the complexity of existential positive queries. ACM Trans. Comput. Log. 15(1): 9:1-9:20 (2014) - Nadia Creignou, Uwe Egly, Johannes Schmidt:
Complexity Classifications for Logic-Based Argumentation. ACM Trans. Comput. Log. 15(3): 19:1-19:20 (2014) - David Fernández-Duque:
Non-finite axiomatizability of dynamic topological logic. ACM Trans. Comput. Log. 15(1): 4:1-4:18 (2014) - Cindy Eisner, Dana Fisman, John Havlicek:
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. ACM Trans. Comput. Log. 15(2): 13:1-13:44 (2014) - Yuan Feng, Yuxin Deng, Mingsheng Ying:
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15(2): 14:1-14:32 (2014) - Achille Frigeri, Liliana Pasquale, Paola Spoletini:
Fuzzy Time in Linear Temporal Logic. ACM Trans. Comput. Log. 15(4): 30:1-30:22 (2014) - Stefan Göller, Anthony Widjaja Lin:
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. ACM Trans. Comput. Log. 15(4): 26:1-26:28 (2014) - Maciej Komosinski, Adam Kups, Dorota Leszczynska-Jasion, Mariusz Urbanski:
Identifying Efficient Abductive Hypotheses Using Multicriteria Dominance Relation. ACM Trans. Comput. Log. 15(4): 28:1-28:20 (2014) - Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi:
Reasoning About Strategies: On the Model-Checking Problem. ACM Trans. Comput. Log. 15(4): 34:1-34:47 (2014) - Cristian Molinaro, Amy Sliva, V. S. Subrahmanian:
Super-Solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic. ACM Trans. Comput. Log. 15(3): 18:1-18:35 (2014) - María Poza, César Domínguez, Jónathan Heras, Julio Rubio:
A Certified Reduction Strategy for Homological Image Processing. ACM Trans. Comput. Log. 15(3): 23:1-23:23 (2014) - Fabrizio Riguzzi, Terrance Swift:
Terminating Evaluation of Logic Programs with Finite Three-Valued Models. ACM Trans. Comput. Log. 15(4): 32:1-32:38 (2014) - Gerhard Schellhorn, John Derrick, Heike Wehrheim:
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans. Comput. Log. 15(4): 31:1-31:37 (2014) - Renate A. Schmidt, Dmitry Tishkovsky:
Using tableau to decide description logics with full role negation and identity. ACM Trans. Comput. Log. 15(1): 7:1-7:31 (2014) - Robert J. Simmons:
Structural Focalization. ACM Trans. Comput. Log. 15(3): 21:1-21:33 (2014)