Iterated Descriptor Revision and the Logic of Ramsey Test Conditionals.

Sven Ove Hansson

Published in: J. Philos. Log. (2016)

Keyphrases

belief revision
modal logic
conditional logic
action recognition
statistical tests
knowledge base
logic programming
keypoints
test data
shape descriptors
feature representation
belief change
test suite
probabilistic logic
deontic logic
proof theory