- 2019
- Xiaohong Chen
, Grigore Rosu:
Matching μ-Logic. LICS 2019: 1-13 - Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield:
A comonadic view of simulation and quantum resources. LICS 2019: 1-12 - Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy, Jason M. Rute:
Algorithmic barriers to representing conditional independence. LICS 2019: 1-13 - Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith:
Block products for algebras over countable words and applications to logic. LICS 2019: 1-13 - S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna:
Timed Systems through the Lens of Logic. LICS 2019: 1-13 - Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata:
Probabilistic Relational Reasoning via Metrics. LICS 2019: 1-19 - Albert Atserias, Anuj Dawar, Joanna Ochremiak:
On the Power of Symmetric Linear Programs. LICS 2019: 1-13 - Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen:
Type-Based Complexity Analysis of Probabilistic Functional Programs. LICS 2019: 1-13 - Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur:
Long-run Satisfaction of Path Properties. LICS 2019: 1-14 - Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris:
When is Ontology-Mediated Querying Efficient? LICS 2019: 1-13 - Libor Barto:
Promises Make Finite (Constraint Satisfaction) Problems Infinitary. LICS 2019: 1-8 - Bartosz Bednarczyk, Stéphane Demri:
Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard? LICS 2019: 1-13 - Steffen van Bergerem:
Learning Concepts Definable in First-Order Logic with Counting. LICS 2019: 1-13 - Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard:
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). LICS 2019: 1-12 - Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak:
MSO+∇ is undecidable. LICS 2019: 1-13 - Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Graphical Affine Algebra. LICS 2019: 1-12 - Filippo Bonchi, Ana Sokolova, Valeria Vignudelli:
The Theory of Traces for Systems with Nondeterminism and Probability. LICS 2019: 1-14 - Andrei A. Bulatov:
A short story of the CSP dichotomy conjecture. LICS 2019: 1 - Clément Carbonnel, Miguel Romero, Stanislav Zivný:
Point-width and Max-CSPs. LICS 2019: 1-13 - Krishnendu Chatterjee, Laurent Doyen:
Graph Planning with Expected Finite Horizon. LICS 2019: 1-13 - Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann:
The Hierarchy of Hyperlogics. LICS 2019: 1-13 - Mohammad-Javad Davari, Abbas Edalat, André Lieutier:
The convex hull of finitely generable subsets and its predicate transformer. LICS 2019: 1-14 - Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron:
Realizability in the Unitary Sphere. LICS 2019: 1-13 - Clovis Eberhart, Bartek Klin:
History-Dependent Nominal μ-Calculus. LICS 2019: 1-13 - Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema:
Completeness for Game Logic. LICS 2019: 1-13 - Claudia Faggian, Simona Ronchi Della Rocca:
Lambda Calculus and Probabilistic Computation. LICS 2019: 1-13 - Marcelo Fiore, Philip Saville:
A type theory for cartesian closed bicategories (Extended Abstract). LICS 2019: 1-13 - Brendan Fong, David I. Spivak, Rémy Tuyéras:
Backprop as Functor: A compositional perspective on supervised learning. LICS 2019: 1-13 - Simon Forest, Samuel Mimram:
Describing free $\omega$ -categories. LICS 2019: 1-13 - Jean Goubault-Larrecq:
A Probabilistic and Non-Deterministic Call-by-Push-Value Language. LICS 2019: 1-13
