Pavel Klinov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2006–2011
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CADE | A Hybrid Method for Probabilistic Satisfiability. | Pavel Klinov, Bijan Parsia |
| 2010 | CADE | Pronto: A Practical Probabilistic Description Logic Reasoner. | Pavel Klinov |
| 2010 | CADE | Relationships Between Probabilistic Description and First-Order Logics. | Pavel Klinov, Bijan Parsia |
| 2010 | LPAR | Implementing an Efficient SAT Solver for a Probabilistic Description Logic. | Pavel Klinov, Bijan Parsia |
| 2010 | LPAR | The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. | Pavel Klinov, Bijan Parsia, David Picado-Muio |
| 2009 | SMC | Ontology Granularity and Rough Equality of Concepts. | Lawrence J. Mazlack, Pavel Klinov |
| 2007 | AAAI | On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge. | Pavel Klinov, Lawrence J. Mazlack |
| 2006 | GRC | Granulating semantic web ontologies. | Pavel Klinov, Lawrence J. Mazlack |