| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Rocha, Ricardo et al. |
2018 |
| 2 |
Improving Candidate Quality of Probabilistic Logic Models |
Côrte-Real, Joana et al. |
2018 |
| 3 |
OASIcs, Volume 58, ICLP'17, Complete Volume |
Rocha, Ricardo et al. |
2018 |
| 4 |
Towards an Automated Test Bench Environment for Prolog Systems |
Gonçalves, Ricardo et al. |
2017 |
| 5 |
Frontmatter |
Leal, José Paulo et al. |
2013 |
| 6 |
OASIcs, Volume 29, SLATE'13, Complete Volume |
Paulo, José et al. |
2013 |
| 7 |
Or-Parallel Prolog Execution on Clusters of Multicores |
Santos, João et al. |
2013 |
| 8 |
Mode-Directed Tabling and Applications in the YapTab System |
Santos, João et al. |
2012 |
| 9 |
On Extending a Linear Tabling Framework to Support Batched Scheduling |
Areias, Miguel et al. |
2012 |
