Franz Baader
Artificial Intelligence · 2001–2017
A researcher in the Science corpus: 9 papers; trusts 9 researchers and is trusted by 21 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 19 citations into it; #7,011 of 35,345 by trust here, #9,968 by citations
- Computer Networks and Communications — 9 citations into it
- Information Systems — 5 citations into it; #2,182 of 8,771 by trust here, #4,518 by citations
- Molecular Biology — 5 citations into it; #14,831 of 17,773 by trust here, #15,531 by citations
Whom Franz Baader trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Ian Horrocks
- Volker Haarslev
- Stephan Tobies
- U. Sattler
- Ralf Möller
- Marvin Minsky
- Sean Bechhofer
- Bernhard Beckert
- Diego Calvanese
- Peter F. Patel-Schneider
Who trusts Franz Baader overall
- Ian Horrocks
- Boris Motik
- Daniela Berardi
- Freddy Lécué
- Diego Calvanese
- Nicholas Gibbins
- Fariba Sadri
- Pieter-Jan Pauwels
- U. Sattler
- Rob Shearer
Papers from Franz Baader's perspective
Ordered by how strongly the researchers Franz Baader trusts endorse each paper. Same corpus, a different order for every researcher.
- RACER System Description (International Joint Conference on Automated Reasoning)
- OilEd: a Reason-able Ontology Editor for the Semantic Web (Description Logics)
- Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
- Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
- Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)
- The description logic handbook: theory
- OIL: An Ontology Infrastructure for the Semantic Web (IEEE Intelligent Systems)
- The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications (International Workshop on the Semantic Web)
- A framework for representing knowledge
- Dynamic logic (SIGA)
Their papers
- Description Logics (2004) — 582 citations
- Pushing the EL Envelope (2005) — 1,298 citations
- The Description Logic Handbook: Preface (2007) — 2,228 citations
- An Introduction to Description Logic (2017) — 522 citations
- Description Logics as Ontology Languages for the Semantic Web (2005) — 528 citations
- Computing the Least Common Subsumer w.r.t. a Background Terminology (2004) — 136 citations
- The description logic handbook: theory (2003) — 1,082 citations
- Basic Description Logics (2003) — 737 citations
- An Overview of Tableau Algorithms for Description Logics (2001) — 496 citations