Blame view

text/proposal/Objectivos .md 347 Bytes
20cd616b   Francisco Coelho   restructure folders
1
O nosso objetivo é o desenvolvimento de um conjunto de ferramentas informáticas para aplicar e avaliar os resultados teóricos a problemas relevantes e bem conhecidos. O alvo inicial é a suite de referência Potassco, que suporta a linguagem ASP-Core-2 e proporciona uma API Python para os programas de grounding (CLASP) e resolução (CLINGO).