"Proceedings of the 1st International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness (PRUV 2014)" . "27150" . "7"^^ . "http://ceur-ws.org/Vol-1205/00010052.pdf" . "15310" . "Many-valued Horn Logic is Hard"@en . . "2014-07-23+02:00"^^ . "Many-valued logic, Complexity, Nondeterminism, Horn logic"@en . "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." . . . "CEUR Workshop Proceedings" . . . "RIV/61989592:15310/14:33150998" . "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."@en . "Wien" . "Cerami, Marco" . . . . "RIV/61989592:15310/14:33150998!RIV15-MSM-15310___" . "Many-valued Horn Logic is Hard" . . . "Borgwardt, Stefan" . "[76A690D5786E]" . "Pe?Aloza, Rafael" . "1"^^ . . "3"^^ . . "Many-valued Horn Logic is Hard" . . . "P(EE2.3.30.0041)" . "Aachen" . "1613-0073" . . "Cerami, Marco" . . "Many-valued Horn Logic is Hard"@en .