Computational properties of the logic of partial quasiary predicates.

Mikhail N. Rybakov Dmitry Shkatov

Published in: SAICSIT (2020)

Keyphrases

computational properties
expressive power
logic programs
description logics
semantic properties
reasoning problems
horn clauses
object recognition
first order logic
propositional theories
learning algorithm
knn
answer set programming
ontological reasoning