pith. sign in

Bernardo Cuenca Grau

Identifiers

  • name variant Bernardo Cuenca Grau 0.60 · backfill

Papers (17)

  1. What are the Right Symmetries for Formal Theorem Proving? cs.LG · 2026 · author #4
  2. The Window Validity Problem in Rule-Based Stream Reasoning cs.AI · 2018 · author #3
  3. Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals cs.AI · 2018 · author #2
  4. Stratified Negation in Limit Datalog Programs cs.AI · 2018 · author #2
  5. Stream Reasoning in Temporal Datalog cs.AI · 2017 · author #3
  6. The Bag Semantics of Ontology-Based Data Access cs.AI · 2017 · author #5
  7. Foundations of Declarative Data Analysis Using Limit Datalog Programs cs.AI · 2017 · author #2
  8. Extending Consequence-Based Reasoning to SRIQ cs.AI · 2016 · author #3
  9. Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies cs.AI · 2015 · author #1
  10. Computing Horn Rewritings of Description Logics Ontologies cs.AI · 2015 · author #2
  11. Ontology Module Extraction via Datalog Reasoning cs.AI · 2014 · author #3
  12. Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning cs.AI · 2014 · author #3
  13. Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies cs.DB · 2014 · author #1
  14. Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach cs.AI · 2014 · author #1
  15. Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice cs.AI · 2014 · author #1
  16. Computing Datalog Rewritings beyond Horn Ontologies cs.AI · 2013 · author #1
  17. First steps in the logic-based assessment of post-composed phenotypic descriptions cs.AI · 2010 · author #2

Mentions

  • 1304.1402 #1 · backfill · confidence 0.70 Bernardo Cuenca Grau
  • 2605.22257 #4 · arxiv_oai · confidence 0.70 Bernardo Cuenca Grau
  • 1012.1659 #2 · backfill · confidence 0.70 Bernardo Cuenca Grau

Frequent Coauthors