C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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