Marcelo Arenas

Affiliations:
  • Pontificia Universidad Católica de Chile


According to our database1, Marcelo Arenas authored at least 145 papers between 1998 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
J. Mach. Learn. Res., 2023

A Symbolic Language for Interpreting Decision Trees.
CoRR, 2023

The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023.
Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022
Counting the Answers to a Query.
SIGMOD Rec., 2022

On Computing Probabilistic Explanations for Decision Trees.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Counting the Solutions to a Query (Invited Talk).
Proceedings of the 25th International Conference on Database Theory, 2022

Temporal Regular Path Queries.
Proceedings of the 38th IEEE International Conference on Data Engineering, 2022

2021
The Complexity of Counting Problems Over Incomplete Databases.
ACM Trans. Comput. Log., 2021

#NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes.
J. ACM, 2021

Is it Possible to Verify if a Transaction is Spendable?
Frontiers Blockchain, 2021

MillenniumDB: A Persistent, Open-Source, Graph Database.
CoRR, 2021

Temporal Regular Path Queries: Syntax, Semantics, and Complexity.
CoRR, 2021

The future is big graphs: a community view on graph processing systems.
Commun. ACM, 2021

When is approximate counting for conjunctive queries tractable?
Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021

A polynomial-time approximation algorithm for counting words accepted by an NFA (invited paper).
Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021

Querying in the Age of Graph Databases and Knowledge Graphs.
Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Foundations of Symbolic Languages for Model Interpretability.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Querying the Semantic Web via Rules.
Proceedings of the Applications and Practices in Ontology Design, 2020

Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.
SIGMOD Rec., 2020

Descriptive Complexity for Counting Complexity Classes.
Log. Methods Comput. Sci., 2020

The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits.
CoRR, 2020

An FPRAS and Polynomial-Time Uniform Sampler for Tree Automata.
CoRR, 2020

Chile's new interdisciplinary institute for foundational research on data.
Commun. ACM, 2020

Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards.
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020

Counting Problems over Incomplete Databases.
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

2019
Graph Path Navigation.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

2018
XML Integrity Constraints.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Third Normal Form.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Second Normal Form (2NF).
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Normal Forms and Normalization.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Fourth Normal Form.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Boyce-Codd Normal Form.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Expressive Languages for Querying the Semantic Web.
ACM Trans. Database Syst., 2018

Database Theory Column Report on PODS 2018.
SIGACT News, 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

G-CORE: A Core for Future Graph Query Languages.
Proceedings of the 2018 International Conference on Management of Data, 2018

On the Progression of Situation Calculus Universal Theories with Constants.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017
Designing a Query Language for RDF: Marrying Open and Closed Worlds.
ACM Trans. Database Syst., 2017

Foreword: Special Issue on Database Theory.
Theory Comput. Syst., 2017

Foundations of Modern Query Languages for Graph Databases.
ACM Comput. Surv., 2017

A Note on Computing Certain Answers to Queries over Incomplete Databases.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016
Faceted search over RDF-based knowledge graphs.
J. Web Semant., 2016

The Exact Complexity of the First-Order Logic Definability Problem.
ACM Trans. Database Syst., 2016

Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec., 2016

SPARQLByE: Querying RDF data by example.
Proc. VLDB Endow., 2016

A framework for annotating CSV-like data.
Proc. VLDB Endow., 2016

Foundations of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Reports, 2016

Foundations of Modern Graph Query Languages.
CoRR, 2016

Knowledge base exchange: The case of OWL 2 QL.
Artif. Intell., 2016

Reverse Engineering SPARQL Queries.
Proceedings of the 25th International Conference on World Wide Web, 2016

SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Incomplete Causal Laws in the Situation Calculus Using Free Fluents.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Datalog-Based Language for Querying RDF Graphs.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Preliminary Investigation into SPARQL Query Complexity and Federation in Bio2RDF.
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Everything you always wanted to know about blank nodes.
J. Web Semant., 2014

Discovering XSD Keys from XML Data.
ACM Trans. Database Syst., 2014

A Principled Approach to Bridging the Gap between Graph Data and their Schemas.
Proc. VLDB Endow., 2014

SemFacet: semantic faceted search over yago.
Proceedings of the 23rd International World Wide Web Conference, 2014

Towards semantic faceted search.
Proceedings of the 23rd International World Wide Web Conference, 2014

OBDA: Query Rewriting or Materialization? In Practice, Both!
Proceedings of the Semantic Web - ISWC 2014, 2014

Enabling Faceted Search over OWL 2 with SemFacet.
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

On Faceted Search over Knowledge Bases.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Faceted Search over Ontology-Enhanced RDF Data.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

Expressiveness and Complexity of Bidirectional Constraints for Data Exchange.
Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, 2014

Foundations of Data Exchange
Cambridge University Press, ISBN: 9781107016163, 2014

2013
Federating queries in SPARQL 1.1: Syntax, semantics and evaluation.
J. Web Semant., 2013

The Chilean Database Group.
J. Inf. Data Manag., 2013

The language of plain SO-tgds: Composition, inversion and structural properties.
J. Comput. Syst. Sci., 2013

Data exchange beyond complete data.
J. ACM, 2013

Solutions and query rewriting in data exchange.
Inf. Comput., 2013

Exchanging OWL 2 QL Knowledge Bases.
Proceedings of the IJCAI 2013, 2013

Computing Solutions in OWL 2 QL Knowledge Exchange.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Towards General Representability in Knowledge Exchange.
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012
Query language-based inverses of schema mappings: semantics, computation, and closure properties.
VLDB J., 2012

Querying Semantic Data on the Web?
SIGMOD Rec., 2012

On Directly Mapping Relational Databases to RDF and OWL (Extended Version)
CoRR, 2012

On directly mapping relational databases to RDF and OWL.
Proceedings of the 21st World Wide Web Conference 2012, 2012

Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard.
Proceedings of the 21st World Wide Web Conference 2012, 2012

Federation and Navigation in SPARQL 1.1.
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012

Ontology-Based Data Access Using Views.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Exchanging Description Logic Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Representability in DL-Lite_R Knowledge Base Exchange.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction".
IEEE Trans. Knowl. Data Eng., 2011

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries.
Theory Comput. Syst., 2011

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
Theory Comput. Syst., 2011

Guest editorial: Special issue on database theory.
J. Comput. Syst. Sci., 2011

Composition with Target Constraints
Log. Methods Comput. Sci., 2011

On Blank Nodes.
Proceedings of the Semantic Web - ISWC 2011, 2011

Querying semantic web data with SPARQL.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Semantics and Optimization of the SPARQL 1.1 Federation Extension.
Proceedings of the Semanic Web: Research and Applications, 2011

Knowledge Base Exchange.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Exchanging More than Complete Data.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Relational and XML Data Exchange
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01840-4, 2010

nSPARQL: A navigational language for RDF.
J. Web Semant., 2010

Foundations of schema mapping management.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Datalog as a Query Language for Data Exchange Systems.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

On the Decidability of Consistent Query Answering.
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009
XML Integrity Constraints.
Proceedings of the Encyclopedia of Database Systems, 2009

Third Normal Form.
Proceedings of the Encyclopedia of Database Systems, 2009

Second Normal Form (2NF).
Proceedings of the Encyclopedia of Database Systems, 2009

Normal Forms and Normalization.
Proceedings of the Encyclopedia of Database Systems, 2009

Fourth Normal Form.
Proceedings of the Encyclopedia of Database Systems, 2009

Boyce-Codd Normal Form.
Proceedings of the Encyclopedia of Database Systems, 2009

Semantics and complexity of SPARQL.
ACM Trans. Database Syst., 2009

The recovery of a schema mapping: Bringing exchanged data back.
ACM Trans. Database Syst., 2009

Composition and inversion of schema mappings.
SIGMOD Rec., 2009

Inverting Schema Mappings: Bridging the Gap between Theory and Practice.
Proc. VLDB Endow., 2009

Information systems preface.
Inf. Syst., 2009

Foundations of RDF Databases.
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

On the Semantics of SPARQL.
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009

2008
On the Complexity of Verifying Consistency of XML Specifications.
SIAM J. Comput., 2008

First-Order and Temporal Logics for Nested Words.
Log. Methods Comput. Sci., 2008

XML data exchange: Consistency and query answering.
J. ACM, 2008

Game-based notions of locality over finite models.
Ann. Pure Appl. Log., 2008

2007
An Extension of SPARQL for RDFS.
Proceedings of the Semantic Web, Ontologies and Databases, VLDB Workshop, 2007

Combining Temporal Logics for Querying XML Documents.
Proceedings of the Database Theory, 2007

2006
Normalization theory for XML.
SIGMOD Rec., 2006

Locality of Queries and Transformations.
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006

2005
Design principles for XML data.
PhD thesis, 2005

An information-theoretic approach to normal forms for relational and XML data.
J. ACM, 2005

Consistency of XML Specifications.
Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

2004
A normal form for XML documents.
ACM Trans. Database Syst., 2004

Data Sharing Through Query Translation in Autonomous Sources.
Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

Locally Consistent Transformations and Query Answering in Data Exchange.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Efficient Incremental Validation of XML Documents.
Proceedings of the 20th International Conference on Data Engineering, 2004

2003
Answer sets for consistent query answering in inconsistent databases.
Theory Pract. Log. Program., 2003

Scalar aggregation in inconsistent databases.
Theor. Comput. Sci., 2003

The hyperion project: from data integration to data coordination.
SIGMOD Rec., 2003

Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues.
Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Managing Data Mappings in the Hyperion Project.
Proceedings of the 19th International Conference on Data Engineering, 2003

Coordinating Peer Databases Using ECA Rules.
Proceedings of the Databases, 2003

2002
Hypothetical Temporal Reasoning in Databases.
J. Intell. Inf. Syst., 2002

On Verifying Consistency of XML Specifications.
Proceedings of the Twenty-first ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2002

What's Hard about XML Schema Constraints?
Proceedings of the Database and Expert Systems Applications, 13th International Conference, 2002

2001
Scalar Aggregation in FD-Inconsistent Databases.
Proceedings of the Database Theory, 2001

2000
Specifying and Querying Database Repairs using Logic Programs with Exceptions.
Proceedings of the Flexible Query Answering Systems, 2000

Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Proceedings of the Computational Logic, 2000

1999
Consistent Query Answers in Inconsistent Databases.
Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

1998
SCDBR: An Automated Reasoner for Specifications of Database Updates.
J. Intell. Inf. Syst., 1998

Query Evaluation in Almost Consistent Databases using Residues.
Proceedings of 18th International Conference of the Chilean Computer Science Society (SCCC '98), 1998

Hypothetical Temporal Queries in Databases.
Proceedings of the 5th International Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, 1998

The Dynamics of Database Views.
Proceedings of the Transactions and Change in Logic Databases, 1998


  Loading...