( en | de | ru )

 

Disambiguation of "Klinov, Pavel"

Author of the publication

copydeleteadd this publication to your clipboard
Knowledge Engineering and Semantic Web - 6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings

, and (Eds.) volume 518 of Communications in Computer and Information Science, Springer, (2015)
DOI: 10.1007/978-3-319-24543-0

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dietrich Pavel

Wieland Werther Pavel

Ji Pavelka

Luciana Pavel

Jonas Philipp Pavelka

 

Other publications of authors with the same name

On Constructing Enterprise Knowledge Graphs Under Quality and Availability Constraints., , , , , and . ISWC, volume 12922 of Lecture Notes in Computer Science, page 699-713. Springer, (2021)On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics., and . SUM, volume 5785 of Lecture Notes in Computer Science, page 138-149. Springer, (2009)Goal-Directed Tracing of Inferences in EL Ontologies., and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 221-232. CEUR-WS.org, (2014)Knowledge Engineering and the Semantic Web, and . Springer, (2014)Pronto: A Practical Probabilistic Description Logic Reasoner., and . URSW (LNCS Vol.), volume 7123 of Lecture Notes in Computer Science, page 59-79. Springer, (2013)Experimenting with ELK Reasoner on Android., and . ORE, volume 1015 of CEUR Workshop Proceedings, page 68-74. CEUR-WS.org, (2013)Bridging the Gap between Tableau and Consequence-Based Reasoning., and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 579-590. CEUR-WS.org, (2014)Implementing an Efficient SAT Solver for a Probabilistic Description Logic., and . IWIL@LPAR, volume 2 of EPiC Series in Computing, page 48-63. EasyChair, (2010)The Benefits of Incremental Reasoning in OWL EL., and . ISWC (Posters & Demos), volume 1035 of CEUR Workshop Proceedings, page 57-60. CEUR-WS.org, (2013)Pronto: A Practical Probabilistic Description Logic Reasoner.. UniDL, volume 613 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)