Login / Signup

Deduction chains for common knowledge.

Mathis KretzThomas Studer
Published in: J. Appl. Log. (2006)
Keyphrases