Listar1. Investigación por tema "Logic minimization"
Mostrando ítems 1-1 de 1
-
Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
(M D P I AG, 2019-07-31)[Abstract] When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons. There are already a few ...