On decidability of recursive weighted logics.

Kim G. Larsen Radu Mardare Bingtian Xue

Published in: Soft Comput. (2018)

Keyphrases

chronological backtracking
decision procedures
modal logic
expressive power
description logics
data sets
query answering
inference rules
weighted sum
propositional calculus
database
real time
databases
genetic algorithm
knowledge base