Roman Schindlauer
Artificial Intelligence · 2004
A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 15 citations into it
Whom Roman Schindlauer trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Roman Schindlauer's perspective
Ordered by how strongly the researchers Roman Schindlauer trusts endorse each paper. Same corpus, a different order for every researcher.
- 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)
- OIL: An Ontology Infrastructure for the Semantic Web (IEEE Intelligent Systems)
- Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
- Description logic programs: combining logic programs with description logic (The Web Conference)
- The semantic Web and its languages
- The DLV system for knowledge representation and reasoning (TOCL)
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Practical Reasoning for Very Expressive Description Logics (Logic Journal of the IGPL)
- RACER System Description (International Joint Conference on Automated Reasoning)
Their papers
- Combining answer set programming with description logics for the Semantic Web (2004) — 632 citations