Dataset - LDM

An Online Development Environment for Answer Set Programming

An online development environment for Answer Set Programming
- Dataset
- JSON
ASP+POMDP

The dataset used in the paper is a combination of Answer Set Programming (ASP) and Partially Observable Markov Decision Processes (POMDPs) for knowledge representation and...
- Dataset
- JSON
Exact ASP Counting with Compact Encodings

The dataset used in the paper for answer set counting, consisting of 1470 benchmarks from diverse domains.
- Dataset
- JSON

You can also access this registry using the API (see API Docs).

3 datasets found