LLASP mejora la generación de código ASP a partir de descripciones en lenguaje natural.
― 7 minilectura
Francesco Ricca
Un nuevo método para encontrar núcleos insatisfacibles mínimos en lógica temporal lineal.
― 6 minilectura
Ciencia de vanguardia explicada de forma sencilla
LLASP mejora la generación de código ASP a partir de descripciones en lenguaje natural.
― 7 minilectura
Un nuevo método para encontrar núcleos insatisfacibles mínimos en lógica temporal lineal.
― 6 minilectura