Pavel Klinov Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability. URSW (LNCS Vol.) 2013: 41-58
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: Pronto: A Practical Probabilistic Description Logic Reasoner. URSW (LNCS Vol.) 2013: 59-79
2012
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Chiara Del Vescovo, Thomas Schneider: Incrementally Updateable and Persistent Decomposition of OWL Ontologies. OWLED 2012
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Dmitry Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? WoMO 2012
e1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Matthew Horridge (Eds.): Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012. CEUR Workshop Proceedings 849, CEUR-WS.org 2012
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Del Vescovo, Pavel Klinov, Bijan Parsia, Uli Sattler, Thomas Schneider, Dmitry Tsarkov: Syntactic vs. Semantic Locality: How Good Is a Cheap Approximation? CoRR abs/1207.1641 (2012)
2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia, David Picado-Muiño: The Consistency of the Medical Expert System CADIAG-2: A Probabilistic Approach. JITR 4(1): 1-20 (2011)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: A Hybrid Method for Probabilistic Satisfiability. CADE 2011: 354-368
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: Representing Sampling Distributions in P-SROIQ. URSW 2011: 39-50
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Chiara Del Vescovo, Damian Gessler, Pavel Klinov, Bijan Parsia, Ulrike Sattler, Thomas Schneider, Andrew Winget: Decomposition and Modular Structure of BioPortal Ontologies. International Semantic Web Conference (1) 2011: 130-145
2010
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov: Pronto: A Practical Probabilistic Description Logic Reasoner. UniDL 2010
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: Relationships Between Probabilistic Description and First-Order Logics. UniDL 2010
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia, David Picado-Muiño: The Consistency of the CADIAG-2 Knowledge Base: A Probabilistic Approach. LPAR (Yogyakarta) 2010: 432-446
2009
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia, Ulrike Sattler: On Correspondences between Probabilistic First-Order and Description Logics. Description Logics 2009
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lawrence J. Mazlack, Pavel Klinov: Ontology Granularity and Rough Equality of Concepts. SMC 2009: 1298-1303
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics. SUM 2009: 138-149
2008
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Julia M. Taylor, Lawrence J. Mazlack: Interval rough mereology and description logic: An approach to formal treatment of imprecision in the Semantic Web ontologies. Web Intelligence and Agent Systems 6(2): 157-174 (2008)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov: Pronto: A Non-monotonic Probabilistic Description Logic Reasoner. ESWC 2008: 822-826
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: Probabilistic Modeling and OWL: A User Oriented Introduction to P-SHIQ(D). OWLED 2008
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. International Semantic Web Conference 2008: 213-228
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Bijan Parsia: Pronto: Probabilistic Ontological Modeling in the Semantic Web. International Semantic Web Conference (Posters & Demos) 2008
2007
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Lawrence J. Mazlack: On Possible Applications of Rough Mereology to Handling Granularity in Ontological Knowledge. AAAI 2007: 1876-1877
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Lawrence J. Mazlack: Interval Rough Mereology for Approximating Hierarchical Knowledge. RSFDGrC 2007: 557-564
2006
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Pavel Klinov, Lawrence J. Mazlack: Granulating semantic web ontologies. GrC 2006: 431-434

Coauthor Index

1Damian Gessler
[c14]
2Matthew Horridge
[e1]
3Lawrence J. Mazlack
[c9] [j1] [c3] [c2] [c1]
4Bijan Parsia
[c20] [c19] [c17] [i1] [j2] [c16] [c15] [c14] [c12] [c11] [c10] [c8] [c6] [c5] [c4]
5David Picado-Muiño
[j2] [c11]
6Ulrike Sattler (Uli Sattler)
[c17] [i1] [c14] [c10]
7Thomas Schneider 0002
[c18] [c17] [i1] [c14]
8Julia M. Taylor
[j1]
9Dmitry Tsarkov
[c17] [i1]
10Chiara Del Vescovo
[c18] [c17] [i1] [c14]
11Andrew Winget
[c14]

Colors in the list of coauthors

Last update Fri May 24 17:29:10 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page