Login / Signup
Majority Logic.
Eric Pacuit
Samer Salame
Published in:
KR (2004)
Keyphrases
</>
classical logic
logic programming
modal logic
image processing
automated reasoning
logical framework
proof theory
relational databases
knowledge representation
epistemic logic
asynchronous circuits
deductive reasoning