Refutational Provability and Fuzzy Description Logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17310%2F15%3AA1501BT0" target="_blank" >RIV/61988987:17310/15:A1501BT0 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Refutational Provability and Fuzzy Description Logic
Original language description
The article presents refutational resolution theorem proving system for Fuzzy Description Logic (FDL) based on general (non-clausal) resolution rule. It brings several new notions of refutation degree and proves its relation to provability degree in fuzzy predicate logic.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: IT4Innovations Centre of Excellence</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach
Others
Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014)
ISBN
978-0-7354-1287-3
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
5500071-5500074
Publisher name
AIP Publishing LLC
Place of publication
NY, USA
Event location
Rhodos, Greece
Event date
Jan 1, 2014
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—