On Computing Non-hypocritical Consensuses in Standard Logic.

Éric Grégoire Jean-Marie Lagniez Du Zhang

Published in: DEXA Workshops (2016)

Keyphrases

image processing
case study
classical logic
real time
information systems
decision making
website
modal logic
predicate logic
asynchronous circuits