ask others

5. IJCAR (CADE, FroCoS, TABLEAUX, FTP) 2010: Edinburgh, UK - UniDL

> Home > Conferences and Workshops > CADE
> Home > Conferences and Workshops > FroCoS
> Home > Conferences and Workshops > TABLEAUX
> Home > Conferences and Workshops > FTP

- view
  - electronic edition @ ceur-ws.org
  - electronic edition @ nbn-resolving.de
- export record
  dblp key:
  - conf/cade/2010unidl
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/2010unidl
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

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/GriesMNRSW10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/GriesMNRSW10
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

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/KlinovP10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/KlinovP10
Pavel Klinov, Bijan Parsia:
Relationships Between Probabilistic Description and First-Order Logics.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/SantosCFH10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/SantosCFH10
Paulo Eduardo Santos, Fábio Gagliardi Cozman, Valquiria Fenelon, Britta Hummel:
Probabilistic Logic Encoding of Spatial Domains.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/GriesM10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/GriesM10
Oliver Gries, Ralf Möller:
Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/PenalozaT10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/PenalozaT10
Rafael Peñaloza, Anni-Yasmin Turhan:
Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/CarvalhoLC10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/CarvalhoLC10
Rommel N. Carvalho, Kathryn Blackmond Laskey, Paulo Cesar G. da Costa:
Compatibility Formalization Between PR-OWL and OWL.

Session 2

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/Klinov10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/Klinov10
Pavel Klinov:
Pronto: A Practical Probabilistic Description Logic Reasoner.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/VitucciNG10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cade/VitucciNG10
Nicola Vitucci, Mario Arrigoni Neri, Giuseppina Gini:
Using f-SHIN to Represent Objects: An Aid to Visual Grasping.

maintained by

at