Computing consensus: A logic for reasoning about deliberative processes based on argumentation.

Truls Pedersen Sjur K. Dyrkolbotn

Published in: CoRR (2014)

Keyphrases

formal theory
practical reasoning
modal logic
qualitative reasoning
modal operators
process model
automated reasoning
reasoning processes
proof procedures
neural network
logic programming
computational models
multi valued
classical logic
nonmonotonic logics
proof theory