


default search action
UniDL@IJCAR 2010: Edinburgh, UK
- Thomas Lukasiewicz, Rafael Peñaloza, Anni-Yasmin Turhan:
Proceedings of the First International Workshop on Uncertainty in Description Logics, Edinburgh, UK, July 20, 2010. CEUR Workshop Proceedings 613, CEUR-WS.org 2010
Invited Talk
- Oliver Gries, Ralf Möller, Anahita Nafissi
, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel:
A Probabilistic Abduction Engine for Media Interpretation based on Ontologies.
Session 1
- Pavel Klinov, Bijan Parsia:
Relationships Between Probabilistic Description and First-Order Logics. - Paulo Eduardo Santos, Fábio Gagliardi Cozman, Valquiria Fenelon, Britta Hummel:
Probabilistic Logic Encoding of Spatial Domains. - Oliver Gries, Ralf Möller:
Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies. - Rafael Peñaloza, Anni-Yasmin Turhan:
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities. - Rommel N. Carvalho, Kathryn Blackmond Laskey, Paulo Cesar G. da Costa:
Compatibility Formalization Between PR-OWL and OWL.
Session 2
- Pavel Klinov:
Pronto: A Practical Probabilistic Description Logic Reasoner. - Nicola Vitucci, Mario Arrigoni Neri, Giuseppina Gini:
Using f-SHIN to Represent Objects: An Aid to Visual Grasping.

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.