Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
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 methods and many tools, such as Karnaugh Maps or the Quine-McCluskey method, as well as...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2019-07-01
|
| Series: | Proceedings |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2504-3900/21/1/22 |