Search alternatives:
"translates" » "translated", "translate"
"translations" » "translation"
"translator" » "translation", "translated"
"translates" » "translated", "translate"
"translations" » "translation"
"translator" » "translation", "translated"
|
by Janssen, Jeroen, Schockaert, Steven, Vermeir, Dirk, De Cock, Martine
Published 2012
“... for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond...”Published 2012
Atlantis Press