Many-valued Horn Logic is Hard
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F14%3A33150998" target="_blank" >RIV/61989592:15310/14:33150998 - isvavai.cz</a>
Výsledek na webu
<a href="http://ceur-ws.org/Vol-1205/00010052.pdf" target="_blank" >http://ceur-ws.org/Vol-1205/00010052.pdf</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Many-valued Horn Logic is Hard
Popis výsledku v původním jazyce
In this work we show that for propositional Horn clauses a finite-valued conjunction operator (in particular under finite Lukasiewicz semantics) can induce additional nondeterminism. In order to prove this, we reduce the problem of deciding classical satisfiability of propositional formulas to the satisfiability problem for Horn clauses with finite-valued constraints.
Název v anglickém jazyce
Many-valued Horn Logic is Hard
Popis výsledku anglicky
In this work we show that for propositional Horn clauses a finite-valued conjunction operator (in particular under finite Lukasiewicz semantics) can induce additional nondeterminism. In order to prove this, we reduce the problem of deciding classical satisfiability of propositional formulas to the satisfiability problem for Horn clauses with finite-valued constraints.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/EE2.3.30.0041" target="_blank" >EE2.3.30.0041: Podpora vytváření excelentních výzkumných týmů a intersektorální mobility na Univerzitě Palackého v Olomouci II.</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2014
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV 2014)
ISBN
—
ISSN
1613-0073
e-ISSN
—
Počet stran výsledku
7
Strana od-do
52-58
Název nakladatele
CEUR Workshop Proceedings
Místo vydání
Aachen
Místo konání akce
Wien
Datum konání akce
23. 7. 2014
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—