Rank Logic is dead, Long Live Rank Logic!

Erich Grädel Wied Pakusa

Published in: J. Symb. Log. (2019)

Keyphrases

modal logic
real time
classical logic
multi valued
automated reasoning
database
ranked list
predicate logic
logic programming
databases
data sets
probabilistic model
multimedia
scoring function
social networks
learning algorithm
computational properties
nonmonotonic logics
formal language
deontic logic
dynamic logic