Marcelo Arenas

Pontificia Universidad Católica de Chile, Escuela de Ingeniería, Departamento de Ciencia de la Computación, Casilla 306, Santiago 22, Chile. <rfc822>marenas@ing.puc.cl></rfc822>

Show Academic Trajectory

Ego Network

D-Core

Research Interests

Author Statistics

Experience

Education

Bio

None

Papers19 papers

Sort

By YearBy Citation

Dagstuhl Manifestos, Vol. 7, Issue 1 ISSN 2193-2433

Serge Abiteboul,Marcelo Arenas,Pablo Barceló,Meghyn Bienvenu,Diego Calvanese,Claire David,Richard Hull,Eyke Hüllermeier,Benny Kimelfeld,Leonid Libkin,Wim Martens,Tova Milo

(2019)

Bibtex

Database Theory Column Report on PODS 2018

Marcelo Arenas

SIGACT News, no. 4 (2018): 55-57

EIBibtex

On the Progression of Situation Calculus Universal Theories with Constants

Marcelo Arenas,Jorge A. Baier, Juan S. Navarro,Sebastian Sardiña

KR, pp.484-493, (2018)

EIBibtex

G-CORE: A Core for Future Graph Query Languages

Renzo Angles,Marcelo Arenas,Pablo Barceló,Peter A. Boncz,George H. L. Fletcher,Claudio Gutierrez, Tobias Lindaaker,Marcus Paradies, Stefan Plantikow,Juan F. Sequeda, Oskar van Rest,Hannes Voigt

SIGMOD/PODS '18: International Conference on Management of Data Houston TX U..., (2018): 1421-1432

EIBibtex

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)

Serge Abiteboul,Marcelo Arenas,Pablo Barceló,Meghyn Bienvenu,Diego Calvanese,Claire David,Richard Hull,Eyke Hüllermeier,Benny Kimelfeld,Leonid Libkin,Wim Martens,Tova Milo

Dagstuhl Manifestos, no. 1 (2018)

Cited by37EIBibtex

Foundations of Modern Query Languages for Graph Databases

Renzo Angles,Marcelo Arenas,Pablo Barceló,Aidan Hogan,Juan L. Reutter,Domagoj Vrgoc

ACM Comput. Surv., no. 5 (2017): 68:1-68:40

Cited by160EIBibtex

Descriptive Complexity for counting complexity classes

Marcelo Arenas,Martin Muñoz,Cristian Riveros

logic in computer science, (2017)

Cited by11EIBibtex

Designing a Query Language for RDF: Marrying Open and Closed Worlds

Marcelo Arenas,Martín Ugarte

international conference on management of data, no. 4 (2017): 21:1-21:46

Cited by18EIBibtex

Research Directions for Principles of Data Management (Abridged)

Serge Abiteboul,Marcelo Arenas,Pablo Barceló,Meghyn Bienvenu,Diego Calvanese,Claire David,Richard Hull,Eyke Hüllermeier,Benny Kimelfeld,Leonid Libkin,Wim Martens,Tova Milo

ACM SIGMOD Record, no. 4 (2017): 5-17

Cited by16EIBibtex

Foreword: Special Issue on Database Theory

Marcelo Arenas

Theory Comput. Syst., no. 1 (2017)

EIBibtex

SPARQLByE: Querying RDF data by example

Gonzalo I. Diaz,Marcelo Arenas,Michael Benedikt

PVLDB, no. 13 (2016): 1533-1536

Cited by26EIBibtex

Incomplete Causal Laws in the Situation Calculus Using Free Fluents

Marcelo Arenas,Jorge A. Baier, Juan S. Navarro,Sebastian Sardiña

IJCAI, pp.907-914, (2016)

EIBibtex

The Exact Complexity of the First-Order Logic Definability Problem

Marcelo Arenas,Gonzalo I. Diaz

ACM Trans. Database Syst., no. 2 (2016)

Cited by12EIBibtex

A framework for annotating CSV-like data

Marcelo Arenas, Francisco Maturana,Cristian Riveros,Domagoj Vrgoc

PVLDB, no. 11 (2016): 876-887

Cited by14EIBibtex

Reverse Engineering SPARQL Queries

Marcelo Arenas,Gonzalo I. Diaz,Egor V. Kostylev

WWW, pp.239-249, (2016)

Cited by37EIBibtex

Bidirectional constraints for exchanging data: beyond monotone queries

Marcelo Arenas, Gabriel Diéguez,Jorge Pérez

IJCAI, (2015)

Cited by2EIBibtex

Inconsistency and Incompleteness in Databases (IIDB)

Jan Chomicki,Jef Wijsen,Marcelo Arenas,Ofer Arieli,Leopoldo E. Bertossi, Patrick Bosc,Andrea Calì,Nilesh N. Dalvi,Thomas Eiter,Wenfei Fan,Enrico Franconi,Ariel Fuxman

Lecture Notes in Computer Science, (2006)

Bibtex

Consistent query answers in inconsistent databases

Marcelo Arenas,Leopoldo Bertossi,Jan Chomicki

PODS, pp.68-79, (1999)

Cited by896EIBibtex

SCDBR: An Automated Reasoner for Specifications of Database Updates

Leopoldo E. Bertossi,Marcelo Arenas,Cristian Ferretti

J. Intell. Inf. Syst., no. 3 (1998): 253-280

Cited by34EIBibtex

View All

Base Info Papers Patents Projects