Rob Shearer

Artificial Intelligence · 2008–2009

A researcher in the Science corpus: 2 papers; trusts 10 researchers and is trusted by 5 researchers here, as inferred from the citation graph.

Subfields

Whom Rob Shearer trusts overall

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

  1. Ian Horrocks
  2. Franz Baader
  3. Bernardo Cuenca Grau
  4. U. Sattler
  5. Stephan Tobies
  6. Evren Sirin
  7. Volker Haarslev
  8. Yevgeny Kazakov
  9. Bijan Parsia

Who trusts Rob Shearer overall

  1. Moritz Tenorth
  2. Diego Calvanese
  3. Michael Beetz
  4. Ernesto Jiménez-Ruiz
  5. Jamal Atif
  6. Birte Glimm

Papers from Rob Shearer's perspective

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

  1. RACER System Description (International Joint Conference on Automated Reasoning)
  2. Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
  3. Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)
  4. Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
  5. AL-log: Integrating Datalog and Description Logics (Journal of Intelligence and Information Systems)
  6. The Even More Irresistible SROIQ (International Conference on Principles of Knowledge Representation and Reasoning)
  7. An Overview of Tableau Algorithms for Description Logics (Studia Logica: An International Journal for Symbolic Logic)
  8. The Description Logic Handbook: Theory, Implementation, and Applications (Description Logic Handbook)
  9. Practical Reasoning for Very Expressive Description Logics (Logic Journal of the IGPL)
  10. A Structure-Preserving Clause Form Translation

Their papers