1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2021
TrustyAI Explainability Toolkit
Rob Geada, Tommaso Teofili, Rui Vieira +2
Artificial intelligence (AI) is becoming increasingly more popular and can be found in workplaces and homes around the world. The decisions made by such "black box" systems are oft…
cs.PL2013★ 1 cited
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
Rui Vieira, Ricardo Rocha, Fernando Silva
Many or-parallel Prolog models exploiting implicit parallelism have been proposed in the past. Arguably, one of the most successful models is environment copying for shared memory…