Rui Vieira

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 1

Top Topics

Logic Programming Language

Theorem Proving

Knowledge Representation

Parallel Processing

Top Venues

Publications

Rob Geada, Tommaso Teofili, Rui Vieira, Rebecca Whitworth, Daniele Zonca
TrustyAI Explainability Toolkit. CoRR (2021)
Rui Vieira, Ricardo Rocha, Fernando M. A. Silva
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores CoRR (2013)
Rui Vieira, Ricardo Rocha, Fernando M. A. Silva
Or-parallel prolog execution on multicores based on stack splitting. DAMP (2012)