tag : knowledge representation
1 publication
Foundations of Knowledge for Distributed Systems (technical report, 1985) — Michael J. Fisher, Neil Immerman Foundations of Knowledge for Distributed Systems (technical report, 1985) — Michael J. Fisher, Neil Immerman