Filtry
Neklauzulární rezoluční dokazování ve fuzzy deskripční logice
Rezoluční princip aplikovaný pro fuzzy deskripční logiku...
JD - Využití počítačů, robotika a její aplikace
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Order-Oriented Reasoning in Description Logics
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Towards Typed Higher-Order Description Logics
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Usage of reflection in .NET to inference of knowledge base
IN - Informatika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Refutational Provability and Fuzzy Description Logic
IN - Informatika
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers
IN - Informatika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
On Finitely-valued Fuzzy Description Logics
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Towards Higher-order OWL
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- JSC •
- Odkaz
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
LAAOS: Logical Aspects of Adaptable Ontological Schemas
IN - Informatika
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
- 1 - 10 z 5 550