23 citations · 29 across the 8 of their papers we have counts for
1 paper · 1 filter
Cristina Feier, Stijn Heymans
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg…