|
1.
|
Eliciting preferences sequentially using partially observable Markov decision processes Zawaideh, Zaid
|
|
2.
|
Proof theoretical foundations for constructive Description Logic Clément, Ian
|
|
3.
|
Epistemic strategies and games on concurrent processes Knight, Sophia
|
|
4.
|
Optimization techniques for distributed Verilog simulation Li, Lijun
|
|
5.
|
An algebraic approach to dynamic epistemic logic Phillips, Caitlin
|
|
6.
|
Extracting semantic information from Wikipedia using human computation and dimensionality reduction West, Robert
|
|
7.
|
Optimal time scales for reinforcement learning behaviour strategies Comanici, Gheorghe
|
|
8.
|
Learning approximate representations of partially observable systems Dinculescu, Monica
|
