Search Results for author: Michael Dingess

Found 1 papers, 0 papers with code

Automated Aggregator -- Rewriting with the Counting Aggregate

no code implementations22 Sep 2020 Michael Dingess, Miroslaw Truszczynski

Answer set programming is a leading declarative constraint programming paradigm with wide use for complex knowledge-intensive applications.

Cannot find the paper you are looking for? You can Submit a new open access paper.