On Deciding Subsumption Problems
Annals of Mathematics and Artificial Intelligence
Complexity of rule redundancy in non-ground answer-set programming over finite domains
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
dRDF: entailment for domain-restricted RDF
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Hi-index | 0.00 |