Graded Logic Aggregation.

Published in: MDAI (2018)

Keyphrases

alternating time temporal logic
modal logic
classical logic
automated reasoning
data aggregation
real time
logic programming
multi valued
deontic logic
search algorithm
aggregation operators
logical framework
predicate logic
asynchronous circuits
delay insensitive
sound and complete axiomatization