Reasoning About Strong Inconsistency in ASP.

Carlos Mencía João Marques-Silva

Published in: SAT (2020)

Keyphrases

answer set programming
web applications
high level
data structure
spatial reasoning
computer vision
qualitative reasoning
inconsistent information
learning algorithm
three dimensional
multiscale
knowledge representation
description logics
classical logic
formal theory