Carsten Lutz

Artificial Intelligence · 2005–2017

A researcher in the Science corpus: 4 papers; trusts 6 researchers and is trusted by 8 researchers here, as inferred from the citation graph.

Subfields

Whom Carsten Lutz trusts overall

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

  1. Ian Horrocks
  2. Stephan Tobies
  3. Volker Haarslev
  4. U. Sattler
  5. Diego Calvanese
  6. Dmitry Tsarkov

Who trusts Carsten Lutz overall

  1. Boris Motik
  2. Freddy Lécué
  3. Ian Horrocks

Papers from Carsten Lutz's perspective

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

  1. RACER System Description (International Joint Conference on Automated Reasoning)
  2. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (Journal of automated reasoning)
  3. Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
  4. The description logic handbook: theory
  5. Query Answering for OWL-DL with Rules (International Workshop on the Semantic Web)
  6. FaCT++ Description Logic Reasoner: System Description (International Joint Conference on Automated Reasoning)
  7. Pellet: A practical OWL-DL reasoner (Journal of Web Semantics)
  8. Creating Semantic Web Contents with Protégé-2000 (IEEE Intelligent Systems)
  9. Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
  10. Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)

Their papers