First Page | Document Content | |
---|---|---|
![]() Date: 2007-07-21 09:47:36Game theory Artificial intelligence Formal epistemology Modal logic Logic in computer science Common knowledge Epistemic modal logic Intelligent agent Alternating-time Temporal Logic Temporal logic Social software Mechanism design | Add to Reading List |