Alternation-Free Weighted Mu-Calculus: Decidability and Completeness.

Kim G. Larsen Radu Mardare Bingtian Xue

Published in: MFPS (2015)

Keyphrases

type checking
weighted distance
query answering
databases
description logics
real time
data sets
weighted sum
chronological backtracking