Login / Signup

A Metalogic Programming Approach to Multi-Agent Knowledge and Belief.

Robert KowalskiJin-Sang Kim
Published in: Artificial and Mathematical Theory of Computation (1991)
Keyphrases