Explainable Problem in clingo-dl Programs.

Van Nguyen Tran Cao Son William Yeoh

Published in: SOCS (2021)

Keyphrases

dl programs
description logics
description logic programs
answer sets
reasoning tasks
logic programs
knowledge base
knowledge representation
answer set semantics
artificial intelligence
special case
logic programming
np complete
semantic web
data integration
orders of magnitude