Bernardo Cuenca Grau

2009

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Bernardo Cuenca Grau trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Stephan Tobies
  2. Herman J. ter Horst
  3. H. Nader

Who trusts Bernardo Cuenca Grau overall

  1. Diego Calvanese

Papers from Bernardo Cuenca Grau's perspective

Ordered by how strongly the researchers Bernardo Cuenca Grau trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (Journal of automated reasoning)
  2. RACER System Description (International Joint Conference on Automated Reasoning)
  3. Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)
  4. Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
  5. Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
  6. Practical Reasoning for Very Expressive Description Logics (Logic Journal of the IGPL)
  7. AL-log: Integrating Datalog and Description Logics (Journal of Intelligence and Information Systems)
  8. Data Complexity of Query Answering in Description Logics (Description Logics)
  9. The Description Logic Handbook: Theory, Implementation, and Applications (Description Logic Handbook)
  10. Resolution Theorem Proving (Handbook of Automated Reasoning)

Their papers