A Logical Framework for Convention.

Giacomo Sillari

Published in: Synth. (2005)

Keyphrases

logical framework
inference rules
reasoning tasks
belief revision
epistemic logic
linear logic
possibilistic logic
normative systems
relational databases
probabilistic model
image sequences
training data
higher order
answer set programming
argumentation frameworks
higher order logic