most citedOn the Turing Completeness of Modern Neural Network Architectures

61 citations · 74 across the 5 of their papers we have counts for

collaborators

5 papers

cs.DB2019

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs

Pablo Barcelo, Victor Dalmau, Cristina Feier +2

Ontology-mediated querying and querying in the presence of constraints are two key database problems where tuple-generating dependencies (TGDs) play a central role. In ontology-med…

cs.DB20196 cited

On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra

Pablo Barceló, Nelson Higuera, Jorge Pérez +1

We study the expressive power of the LARA language -- a recently proposed unified model for expressing relational and linear algebra operations -- both in terms of traditional data…

cs.DB2019

A More General Theory of Static Approximations for Conjunctive Queries

Pablo Barceló, Miguel Romero, Thomas Zeume

Conjunctive query (CQ) evaluation is NP-complete, but becomes tractable for fragments of bounded hypertreewidth. Approximating a hard CQ by a query from such a fragment can thus al…

cs.DB20197 cited

Boundedness of Conjunctive Regular Path Queries

Pablo Barceló, Diego Figueira, Miguel Romero

We study the boundedness problem for unions of conjunctive regular path queries with inverses (UC2RPQs). This is the problem of, given a UC2RPQ, checking whether it is equivalent t…

cs.LG201961 cited

On the Turing Completeness of Modern Neural Network Architectures

Jorge Pérez, Javier Marinković, Pablo Barceló

Alternatives to recurrent neural networks, in particular, architectures based on attention or convolutions, have been gaining momentum for processing input sequences. In spite of t…