2k citations
- Centro de Astrofísica da Universidade do PortoPT44 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- University of CambridgeGB19 papers
- University of MinhoPT14 papers
- Universidade Federal da ParaíbaBR11 papers
- California Institute of TechnologyUS9 papers
- European Southern ObservatoryCL9 papers
- Instituto de Ciencia de Materiales de MadridES9 papers
- University of CoimbraPT9 papers
- Aarhus UniversityDK8 papers
- Instituto Superior TécnicoPT8 papers
- Laboratoire de Physique ThéoriqueFR8 papers
8 papers · 1 filter
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…
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
Flavio Cruz, Ricardo Rocha
Tabled evaluation is an implementation technique that solves some problems of traditional Prolog systems in dealing with recursion and redundant computations. Most tabling engines…
A structured alternative to Prolog with simple compositional semantics
António Porto
Prolog's very useful expressive power is not captured by traditional logic programming semantics, due mainly to the cut and goal and clause order. Several alternative semantics hav…
A Design and Implementation of the Extended Andorra Model
Ricardo Lopes, Vítor Santos Costa, Fernando Silva
Logic programming provides a high-level view of programming, giving implementers a vast latitude into what techniques to explore to achieve the best performance for logic programs.…
Portability of Prolog programs: theory and case-studies
Jan Wielemaker, Vítor Santos Costa
(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the I…
On the Implementation of the Probabilistic Logic Programming Language ProbLog
Angelika Kimmig, Bart Demoen, Luc De Raedt +2
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have…