Andrea Aler Tubella
Andrea Aler Tubella
Post-doctoral researcher, Umeň University
Verified email at - Homepage
TitleCited byYear
Subatomic proof systems: Splittable systems
AA Tubella, A Guglielmi
ACM Transactions on Computational Logic (TOCL) 19 (1), 5, 2018
Removing cycles from proofs
A Aler Tubella, A Guglielmi, B Ralph
26th EACSL Annual Conference on Computer Science Logic (CSL 2017), 2017
A study of normalisation through subatomic logic
AA Tubella
University of Bath, 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, 2016
The Glass Box Approach: Verifying Contextual Adherence to Values
AA Tubella, V Dignum
New normal forms for proofs via deep inference
AA Tubella
The system can't perform the operation now. Try again later.
Articles 1–7