On the ILLC site you may find a full list of ILLC research reports and dissertations. Additionally, the electronic archives may also be accessed by using the Search Form of the ILLC Eprints server.
- MoL-2025-03:
- Paulius Skaisgiris Inductive Learning of Temporal Advice Formulae for Guiding Planners
- MoL-2025-02:
- Jonas van der Schaaf AKE-principles for deeply ramified fields
- MoL-2025-01:
- Djanira dos Santos Gomes Virtual Group Knowledge on Topological Evidence Models
- MoL-2024-24:
- Amity Aharoni Pushing the BoxEL Envelope
- MoL-2024-23:
- Xiaoshuang Yang Sequent Calculus with Zippers
- MoL-2024-22:
- Teodor-Ștefan Zotescu Multi-agent Topological Models for Evidence Diffusion
- MoL-2024-21:
- Frank J.A. Goossens Formalizing the FLINT Ontology: Building an action-oriented formal language for the interpretation of normative texts
- MoL-2024-20:
- Raufs Duņamalijevs Predicate Pushdown in FastLanes
- MoL-2024-19:
- Yilun Wang Oblivious Transfer from Quantum One-way Functions
- MoL-2024-18:
- Jan W. Gronwald A Practice-Based Critique of Reverse Mathematics