Rationalizability and logical inference.

Dieter Balkenborg

Published in: Games Econ. Behav. (2018)

Keyphrases

logical inference
theorem proving
probabilistic inference
solution concepts
knowledge compilation
logical structure
information extraction
multi agent systems
data model
distributed systems
logic programs