no code implementations • 11 Nov 2021 • Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
We take up an idea from the folklore of Answer Set Programming, namely that choices, integrity constraints along with a restricted rule format is sufficient for Answer Set Programming.
no code implementations • 17 Sep 2021 • Seemran Mishra
This is a preliminary work on configuration knowledge representation which serves as a foundation for building interactive configuration systems in Answer Set programming (ASP).