Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu:	stať ve sborníku (D)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	Genzen-like Proofs in Description Logic DL1
Citace	Lukasová, A. a Vajgl, M. Genzen-like Proofs in Description Logic DL1. In: Proceedings of the Tenth International Conference on Informatics 2009. Košice: Technical Univerzity of Košice, 2009. Technical Univerzity of Košice, 2009. s. 160-166. ISBN 978-80-8086-126-1.

Podnázev
Rok vydání:	2009
Obor:	Informatika
Počet stran:	350
Strana od:	160
Strana do:	166
Forma vydání:
Kód ISBN:	978-80-8086-126-1
Kód ISSN:
Název sborníku:	Proceedings of the Tenth International Conference on Informatics 2009
Sborník:	Mezinárodní
Název nakladatele:	Technical Univerzity of Košice
Místo vydání:	Košice
Stát vydání:	Sborník vydaný v zahraničí
Název konference:	Informatics 2009
Místo konání konference:	Her'lany, Slovakia
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků akce:	Evropská akce
Kód UT WoS:
EID:

Klíčová slova anglicky:	Decscription logic, DL1, Gentzen-like formal systems
Popis v původním jazyce:	On the base of the binary tree representation of tableau proofs in description logic DL1 a dual Gentzen-like axiomatic system is defined. It is shown that the tree representation of tableau proofs gives besides a possibility of transparent creation of models in the cases of direct tableau proofs also a possibility to exploit the properties of indirect tableau proofs to define a formal system for direct generating of theories consisting of sentences corresponding to logical consequents of knowledge bases.
Popis v anglickém jazyce:

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17610/09:A1000X3M

Complementary Content

${loading}