Částečně rozhodnutelný důkazový systém sémantického tabla v deskripční logice DL1

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F08%3AA0900QLB" target="_blank" >RIV/61988987:17310/08:A0900QLB - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/61988987:17310/08:A1000QLB
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
A Semi-Dedicable Semantic Tableau Proof System in a Description Logic DL1
Popis výsledku v původním jazyce
In the article a description logic language DL1 with a modified semantics of the universal restriction constructor forall R .C is proposed. A proposed tableau decision-making procedure that shares with FOL its semi- decidability reflects in a corresponding manner the modification.
Název v anglickém jazyce
A Semi-Dedicable Semantic Tableau Proof System in a Description Logic DL1
Popis výsledku anglicky
In the article a description logic language DL1 with a modified semantics of the universal restriction constructor forall R .C is proposed. A proposed tableau decision-making procedure that shares with FOL its semi- decidability reflects in a corresponding manner the modification.

Rok uplatnění
2008
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Proceedings of CSE 2008 International Scientific Conference on Computer Science and Engineering
ISBN
978-80-8086-092-9
ISSN
—
e-ISSN
—
Počet stran výsledku
393
Strana od-do
—
Název nakladatele
Department of Computers and Informatics FEEI TU of Košice
Místo vydání
Košice
Místo konání akce
Stara Lesna, Slovakia
Datum konání akce
24. 9. 2008
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—

Podobné výsledky(10)