How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions.

Malvin Gattinger Yanjing Wang

Published in: TARK (2019)

Keyphrases

real valued
machine learning
knowledge base
website
web services
reinforcement learning
boolean functions
conjunctive normal form