Salvador Abreu

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 22

Top Topics

Top Venues

GECCO (Companion)

Publications

Luiz Otavio Botelho Lento, Pedro Patinho, Salvador Abreu
A Logic-Based Model to Reduce IoT Security Risks. ICAART (3) (2024)
Dietmar Seipel, Benjamin Förster, Magnus Liebl, Marcel Waleska, Salvador Abreu
Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge. SLATE (2023)
Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. CoRR (2023)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
50 Years of Prolog and Beyond. CoRR (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22 (6) (2022)
Philippe Codognet, Daniel Diaz, Salvador Abreu
Quantum and Digital Annealing for the Quadratic Assignment Problem. QSW (2022)
Camilo Correa, Jacques Robin, Raúl Mazo, Salvador Abreu
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. CRiSIS (2021)
Jonathan Duque, Danny A. Múnera, Daniel Diaz, Salvador Abreu
Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics. OLA (2021)
Dietmar Seipel, Daniel Weidner, Salvador Abreu
Intelligent Query Answering with Contextual Knowledge for Relational Databases. SLATE (2021)
Mateusz Slazynski, Salvador Abreu, Grzegorz J. Nalepa
Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure. GECCO (Companion) (2019)
Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops (2019)
Mateusz Slazynski, Salvador Abreu, Grzegorz J. Nalepa
Generating Local Search Neighborhood with Synthesized Logic Programs. ICLP Technical Communications (2019)
Falco Nogatz, Dietmar Seipel, Salvador Abreu
Definite Clause Grammars with Parse Trees: Extension for Prolog. SLATE (2019)
Falco Nogatz, Julia Kübert, Dietmar Seipel, Salvador Abreu
Alexa, How Can I Reason with Prolog? SLATE (2019)
Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel
Pre-proceedings of the DECLARE 2019 Conference. CoRR (2019)
Dietmar Seipel, Falco Nogatz, Salvador Abreu
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. Comput. Lang. Syst. Struct. 51 (2018)
Jheisson López, Danny Munera, Daniel Diaz, Salvador Abreu
On Integrating Population-Based Metaheuristics with Cooperative Parallelism. IPDPS Workshops (2018)
Jheisson López, Danny Múnera, Daniel Diaz, Salvador Abreu
Weaving of Metaheuristics with Cooperative Parallelism. PPSN (1) (2018)
Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu
Improving Constraint Solving on Parallel Hybrid Systems. ICTAI (2018)
Dietmar Seipel, Rüdiger von der Weth, Salvador Abreu, Falco Nogatz, Alexander Werner
Declarative Rules for Annotated Expert Knowledge in Change Management. SLATE (2016)
Danny Munera, Daniel Diaz, Salvador Abreu
Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. EvoCOP (2016)
Danny Munera, Daniel Diaz, Salvador Abreu
Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. HM (2016)
Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu
Large-scale parallelism for constraint-based local search: the costas array case study. Constraints An Int. J. 20 (1) (2015)
Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI (2015)
Pedro D. Salgueiro, Salvador Abreu, Jose Rolo, Stéphane Clain
An interactive web-based tool for breast reduction surgery simulation. 3DUI (2015)
Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
A Parametric Framework for Cooperative Parallel Local Search. EvoCOP (2014)
Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet
Flexible cooperation in parallel local search. SAC (2014)
Rui Machado, Salvador Abreu, Daniel Diaz
Parallel Performance of Declarative Programming Using a PGAS Model. PADL (2013)
Irene Rodrigues, Nuno Matos, Salvador Abreu, Rébecca Deneckère, Daniel Diaz
Towards constraint-informed information systems. RCIS (2013)
Danny Munera, Daniel Diaz, Salvador Abreu
Experimenting with X10 for Parallel Constraint-Based Local Search. CoRR (2013)
Rui Machado, Salvador Abreu, Daniel Diaz
Parallel Local Search: Experiments with a PGAS-based programming model CoRR (2013)
Pedro D. Salgueiro, Salvador Abreu
Modelling distributed network attacks with constraints. Int. J. Bio Inspired Comput. 5 (4) (2013)
Rui Machado, Vasco Pedro, Salvador Abreu
On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems. ICPP (2013)
Danny Munera, Daniel Diaz, Salvador Abreu
Towards Parallel Constraint-Based Local Search with the X10 Language. KDPD (2013)
Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu
Performance analysis of parallel constraint-based local search. PPOPP (2012)
Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu
Constraint-Based Local Search for the Costas Array Problem. LION (2012)
Daniel Diaz, Salvador Abreu, Philippe Codognet
On the implementation of GNU Prolog. Theory Pract. Log. Program. 12 (1-2) (2012)
Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu
Parallel Local Search for the Costas Array Problem. IPDPS Workshops (2012)
Daniel Diaz, Salvador Abreu, Philippe Codognet
Targeting the Cell Broadband Engine for constraint-based local search. Concurr. Comput. Pract. Exp. 24 (6) (2012)
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
Experiments in Parallel Constraint-Based Local Search. EvoCOP (2011)
Rui Machado, Carsten Lojewski, Salvador Abreu, Franz-Josef Pfreundt
Unbalanced tree search on a manycore system using the GPI programming model. Comput. Sci. Res. Dev. 26 (3-4) (2011)
Francisco Rocha, Salvador Abreu, Miguel Correia
The Final Frontier: Confidentiality and Privacy in the Cloud. Computer 44 (9) (2011)
Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu
Using Constraints for Intrusion Detection: The NeMODe System. PADL (2011)
Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC (2011)
Salvador Abreu, Vítor Santos Costa
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011. CoRR (2011)
Pedro D. Salgueiro, Salvador Abreu
Modeling Distributed Network Attacks with Constraints. IDC (2011)
Daniel Diaz, Salvador Abreu, Philippe Codognet
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC (2010)
Paulo André, Salvador Abreu
Casting of the WAM as an EAM CoRR (2010)
Pedro D. Salgueiro, Salvador Abreu
A DSL for intrusion detection based on constraint programming. SIN (2010)
Daniel Diaz, Salvador Abreu, Philippe Codognet
On the Implementation of GNU Prolog CoRR (2010)
Vasco Pedro, Salvador Abreu
Distributed Work Stealing for Constraint Solving CoRR (2010)
Salvador Abreu, Daniel Diaz, Philippe Codognet
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) LSCS (2009)
Vítor Nogueira, Salvador Abreu
ISTO: A Language for Temporal Organizational Information Systems. INAP (2009)
Pedro D. Salgueiro, Salvador Abreu
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis. INAP (2009)
Nuno Lopes, Cláudio Fernandes, Salvador Abreu
Representing and querying multiple ontologies with Contextual Logic Programming. Comput. Sci. Inf. Syst. 5 (2) (2008)
Vítor Nogueira, Salvador Abreu
Integrating Temporal Annotations in a Modular Logic Language. INAP/WLP (2007)
Nuno Lopes, Cláudio Fernandes, Salvador Abreu
Contextual Logic Programming for Ontology Representation and Querying. ALPSWS (2007)
Cláudio Fernandes, Nuno Lopes, Salvador Abreu
On Querying Ontologies with Contextual Logic Programming. OWLED (2007)
Vítor Nogueira, Salvador Abreu
Temporal Contextual Logic Programming. Electron. Notes Theor. Comput. Sci. 177 (2007)
Vítor Nogueira, Salvador Abreu
Modularity and Temporal Reasoning: A Logic Programming Approach. TIME (2007)
Vítor Nogueira, Salvador Abreu
Towards Temporal Contextual Logic Programming. ICLP (2006)
Salvador Abreu, Vítor Nogueira
Towards Structured Contexts and Modules. ICLP (2006)
Salvador Abreu, Vítor Nogueira
Using a Logic Programming Language with Persistence and Contexts. INAP (2005)
Salvador Abreu, Daniel Diaz
Contexts for Organizational Information System Design and Implementation. ICEIS (1) (2004)
Vítor Beires Nogueira, Salvador Abreu, Gabriel David
Towards Temporal Reasoning in Constraint Contextual Logic Programming. WLPE (2004)
Salvador Abreu, Daniel Diaz
Objective: In Minimum Context. ICLP (2003)
Vítor Nogueira, Salvador Abreu, Gabriel David
Using Contextual Logic Programming for Temporal Reasoning. JISBD (2003)
Salvador Abreu, Paulo Quaresma, Luis Quintano, Irene Pimenta Rodrigues
A Dialogue Manager for Accessing Databases. EJC (2003)
Salvador Abreu, Paulo Quaresma, Luis Quintano, Irene Rodrigues
A Natural Language Dialogue Manager for Accessing Databases. PorTAL (2002)
Vítor Beires Nogueira, Salvador Abreu, Gabriel David
Towards Temporal Reasoning in ISCO. APPIA-GULP-PRODE (2002)
Luis Quintano, Salvador Abreu, Irene Pimenta Rodrigues
Relational Information Retrieval through Natural Lanaguage Analysis. INAP (2001)
Salvador Abreu
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems. INAP (2001)
Luis Quintano, Salvador Abreu, Irene Rodrigues
Relational Information Retrieval through Natural Language Analysis. INAP (LNCS Volume) (2001)
Lígia Ferreira, Salvador Abreu
Design for AJACS, yet another Java constraint programming framework. APPIA-GULP-PRODE 48 (2001)
Salvador Abreu, Joaquim Godinho
Logic-based Network Configuration and Management. EUNIS (2001)
Salvador Abreu
A Logic-Based Information System. PADL (2000)
Lígia Ferreira, Salvador Abreu
A Constraint Logic Programming Framwork in Java. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
Salvador Abreu, Luís Moniz Pereira
A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems (1994)
Salvador Abreu, Luís Moniz Pereira
Design for AKL with Intelligent Pruning. ELP (1993)
Salvador Abreu, Luís Moniz Pereira, Philippe Codognet
Improving Backward Execution in the Andorra Family of Languages. JICSLP (1992)