Evgenij Dashkov
2012
A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Papers from Evgenij Dashkov's perspective
Ordered by how strongly the researchers Evgenij Dashkov trusts endorse each paper. Same corpus, a different order for every researcher.
- RACER System Description (International Joint Conference on Automated Reasoning)
- The Realm of Ordinal Analysis
- The Worm principle
- The description logic handbook: theory
- Dynamic logic (SIGA)
- 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)
- OilEd: a Reason-able Ontology Editor for the Semantic Web (Description Logics)
- Description Logics (Handbook on Ontologies)
- A framework for representing knowledge
Their papers
- On the positive fragment of the polymodal provability logic GLP (2012) — 48 citations