Epistemic-entrenchment Characterization of Parikh's Axiom.

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams

Published in: IJCAI (2017)

Keyphrases

inference rules
database
modal logic
artificial intelligence
image processing
multiresolution
belief change
epistemic logic