| Home |
| Academic |
| Research |
| Publications |
| Presentations |
| Personal |
| Miscellaneous |
| Contact information |
(c) Pavel Klinov, 2007 |
Who I am...
|
||||||
Occupation |
Ph.D. Student | |||||
| School | University of Cincinnati | |||||
Department |
TBD | |||||
Laboratory |
Applied Artificial Intelligence | |||||
Advisor |
Dr. Lawrence J. Mazlack | |||||
Citizenship |
Russia | |||||
CV |
.pdf, .ps | |||||
ICQ |
 213579271 - PavelK |
|||||
E-mail |
|
|||||
Blog |
klinov.blogspot.com |
Research Interests: - Semantic Web, formal ontologies, imprecise ontology engineering
- Description Logics, tableau proofs, non-classical logic (autoepistemic, non-monotonic, logic of rough inclusion), approximate reasoning
- Conceptual structures, approximate concept graphs, Formal Concept Analysis, contextualized logic
- more...
News: - Feb 18, 2007: Paper "Interval Rough Mereology for Approximating Hierarchical Knowledge" is accepted for publication at Joint Rough Set Symposium 2007
- Feb 07, 2007: Java implementation of the spatial indexing based on SS-Trees is released. download with dependencies
- October 2006: Fully passed both parts of the Doctoral Qualifying Examination