Andrea Aler Tubella
Andrea Aler Tubella
Post-doctoral researcher, Umeň University
Verified email at - Homepage
Cited by
Cited by
A study of normalisation through subatomic logic
AA Tubella
University of Bath, 2017
Subatomic proof systems: Splittable systems
AA Tubella, A Guglielmi
ACM Transactions on Computational Logic (TOCL) 19 (1), 1-33, 2018
Removing cycles from proofs
A Aler Tubella, A Guglielmi, B Ralph
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
Governance by glass-box: implementing transparent moral bounds for AI behaviour
AA Tubella, A Theodorou, V Dignum, F Dignum
arXiv preprint arXiv:1905.04994, 2019
Subatomic Proof Systems
AA Tubella, A Guglielmi
a∨ a 1 (a10), 1, 2015
Contestable Black-Boxes
A Aler Tubella, A Theodorou, V Dignum, L Michael
arXiv, arXiv: 2006.05133, 2020
Introduction to Deep Inference
A Tubella, L Stra▀burger
The Glass Box Approach: Verifying Contextual Adherence to Values
A Aler Tubella, V Dignum
AISafety 2019, Macao, August 11-12, 2019, 2019
Decomposition and cycles: isolating two complexity-generating mechanisms.
AA Tubella
A story of additives and multiplicatives
AA Tubella
Generalising Cut-Elimination through Subatomic Proof Systems or The Math Stuff That I Do
AA Tubella
New normal forms for proofs via deep inference
AA Tubella
The system can't perform the operation now. Try again later.
Articles 1–12