Determining Inference Semantics for Disjunctive Logic Programs

Yi-Dong Shen, Thomas Eiter
2019 Artificial Intelligence  
the complexity of brave and cautious reasoning increases under DI-semantics by one level of the polynomial hierarchy, which thus offers higher problem solving capacity.
doi:10.1016/j.artint.2019.103165 fatcat:x7xt72vuajcxdnjov55a33rilq