|
111 |
Instruction seminar on logical aspects of Multi-Agent Systems |
Epistemic_logics_for_multi_agent_systems_by_Hans_van_Ditmarsch_Part_02 |
Hans_van_Ditmarsch |
1 Feb 2015 |
|
112 |
Instruction seminar on logical aspects of Multi-Agent Systems |
Game_theory_and_dynamics_of_networks_by_Sunil_Simon |
Sunil_Simon |
2 Feb 2015 |
|
113 |
Instruction seminar on logical aspects of Multi-Agent Systems |
Game_theory_and_dynamics_of_networks_by_Sunil_Simon_Part_2 |
Sunil_Simon |
2 Feb 2015 |
|
114 |
Instruction seminar on logical aspects of Multi-Agent Systems |
Planning_in_multi_agent_systems_by_Rajdeep_Niyogi |
Rajdeep_Niyogi |
2 Feb 2015 |
|
115 |
Instruction seminar on logical aspects of Multi-Agent Systems |
Planning_with_epistemic_goals_by_Yanjing_Wang |
Yanjing_Wang |
3 Feb 2015 |
|
116 |
Indo UK workshop on Computational Complexity Theory |
Proof complexity |
Olaf Beyersdorff |
8 Jan 2015 |
|
117 |
Indo UK workshop on Computational Complexity Theory |
Proof complexity of resolution-based QBF calculi |
Leroy Chew |
8 Jan 2015 |
|
118 |
Indo UK workshop on Computational Complexity Theory |
Recent results on depth reduction and lower bounds in arithmetic complexity. |
Neeraj Kayal |
5 Jan 2015 |
|
119 |
Indo UK workshop on Computational Complexity Theory |
Role of composition in PCP constructions |
Prahladh Harsha |
9 Jan 2015 |
|
120 |
Indo UK workshop on Computational Complexity Theory |
Satisfiability algorithms and lower bounds for boolean formulas |
Ruiwen Chen |
8 Jan 2015 |
