Contraction, Infinitary Quantifiers, and Omega Paradoxes.

Bruno Da Ré Lucas Rosenblatt

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

Keyphrases

belief change
first order logic
inference rules
deontic logic
natural language
belief revision
active learning
training data
bayesian networks
expert systems
dynamic programming
software engineering
graphical models