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...
The DNA promoter dataset consist of a background theory with 14 logical if-then rules. The rules includes four symbols contact, minus10, minus35, conf ormation which are not...
