Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Ielpa, Giuseppe"'
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows for expressing every property of finite structures that is decidable in the complexity class SigmaP2 (= NP^NP). Despite this high expressiveness, there are some simple prop
Externí odkaz:
http://arxiv.org/abs/0802.3137
Autor:
Guido, Rosita1 (AUTHOR) rosita.guido@unical.it, Ielpa, Giuseppe2 (AUTHOR), Conforti, Domenico1 (AUTHOR)
Publikováno v:
Flexible Services & Manufacturing Journal. Mar2020, Vol. 32 Issue 1, p102-128. 27p.
Publikováno v:
The International Journal of Entrepreneurship and Innovation; May 2015, Vol. 16 Issue: 2 p73-83, 11p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.