7 citations · 24 across the 11 of their papers we have counts for
11 papers
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
Daniela Ferreiro, José F. Morales, Salvador Abreu +1
Active Logic Documents (ALD) are web pages which incorporate embedded Prolog engines that run locally within the browser. ALD offers both a very easy way to add click-to-run capabi…
Fifty Years of Prolog and Beyond
Philipp Körner, Michael Leuschel, João Barbosa +8
Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A lar…
Generating Local Search Neighborhood with Synthesized Logic Programs
Mateusz Ślażyński, Salvador Abreu, Grzegorz J. Nalepa
Local Search meta-heuristics have been proven a viable approach to solve difficult optimization problems. Their performance depends strongly on the search space landscape, as defin…
Pre-proceedings of the DECLARE 2019 Conference
Salvador Abreu, Petra Hofstedt, Ulrich John +2
This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declara…
Experimenting with X10 for Parallel Constraint-Based Local Search
Danny Munera, Daniel Diaz, Salvador Abreu
In this study, we have investigated the adequacy of the PGAS parallel language X10 to implement a Constraint-Based Local Search solver. We decided to code in this language to benef…
Parallel Local Search: Experiments with a PGAS-based programming model
Rui Machado, Salvador Abreu, Daniel Diaz
Local search is a successful approach for solving combinatorial optimization and constraint satisfaction problems. With the progressing move toward multi and many-core systems, GPU…