Peter F. Patel-Schneider

Artificial Intelligence · 2001–2012

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

Subfields

Whom Peter F. Patel-Schneider trusts overall

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

  1. Ian Horrocks
  2. Stephan Tobies
  3. U. Sattler
  4. Alexandre Riazanov
  5. Volker Haarslev
  6. Mike Dean
  7. Frank van Harmelen
  8. Andrei Voronkov
  9. J. Hendler
  10. Ralf Möller

Who trusts Peter F. Patel-Schneider overall

  1. Ian Horrocks
  2. Bernardo Cuenca Grau
  3. Boris Motik
  4. Stamatia Dasiopoulou
  5. Birte Glimm
  6. U. Sattler
  7. Stefan Fenz
  8. Diego Calvanese
  9. Thomas Lukasiewicz
  10. Thomas Eiter

Papers from Peter F. Patel-Schneider's perspective

Ordered by how strongly the researchers Peter F. Patel-Schneider 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. Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
  4. Rdf vocabulary description language 1.0 : Rdf schema
  5. Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
  6. Practical Reasoning for Very Expressive Description Logics (Logic Journal of the IGPL)
  7. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (Journal of automated reasoning)
  8. Resolution Theorem Proving (Handbook of Automated Reasoning)
  9. A Tableaux Decision Procedure for SHOIQ (International Joint Conference on Artificial Intelligence)
  10. Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)

Their papers