Search alternatives:
"translates" » "translated", "translate", "translations"
"translator" » "translated", "translations"
"translates" » "translated", "translate", "translations"
"translator" » "translated", "translations"
|
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