Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP.

Loris Bozzato Thomas Eiter Luciano Serafini

Published in: RuleML+RR (2019)

Keyphrases

answer set programming
reasoning tasks
artificial intelligence
knowledge base
web applications
real time
reasoning systems
social networks
knowledge representation
logic programming
model based diagnosis
automated reasoning
reasoning process
conflicting information