![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Salvador Abreu
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c63]Luiz Otavio Botelho Lento, Pedro Patinho, Salvador Abreu:
A Logic-Based Model to Reduce IoT Security Risks. ICAART (3) 2024: 1197-1204 - 2023
- [c62]Dietmar Seipel, Benjamin Förster, Magnus Liebl, Marcel Waleska, Salvador Abreu:
Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge. SLATE 2023: 6:1-6:15 - [c61]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. ICLP 2023: 324-329 - [p2]José F. Morales, Salvador Abreu
, Daniela Ferreiro, Manuel V. Hermenegildo:
Teaching Prolog with Active Logic Documents. Prolog: The Next 50 Years 2023: 171-183 - 2022
- [j9]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): 776-858 (2022) - [c60]Philippe Codognet, Daniel Diaz
, Salvador Abreu
:
Quantum and Digital Annealing for the Quadratic Assignment Problem. QSW 2022: 1-8 - [i8]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 abs/2201.10816 (2022) - 2021
- [c59]Camilo Correa, Jacques Robin, Raúl Mazo, Salvador Abreu
:
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search. CRiSIS 2021: 91-107 - [c58]Jonathan Duque
, Danny A. Múnera
, Daniel Diaz
, Salvador Abreu
:
Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics. OLA 2021: 294-309 - [c57]Dietmar Seipel, Daniel Weidner, Salvador Abreu
:
Intelligent Query Answering with Contextual Knowledge for Relational Databases. SLATE 2021: 16:1-16:15 - 2020
- [e5]Petra Hofstedt, Salvador Abreu
, Ulrich John
, Herbert Kuchen
, Dietmar Seipel:
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12057, Springer 2020, ISBN 978-3-030-46713-5 [contents]
2010 – 2019
- 2019
- [c56]Mateusz Slazynski
, Salvador Abreu
, Grzegorz J. Nalepa:
Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure. GECCO (Companion) 2019: 137-138 - [c55]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: 391-397 - [c54]Falco Nogatz, Dietmar Seipel, Salvador Abreu
:
Definite Clause Grammars with Parse Trees: Extension for Prolog. SLATE 2019: 7:1-7:14 - [c53]Falco Nogatz, Julia Kübert, Dietmar Seipel, Salvador Abreu
:
Alexa, How Can I Reason with Prolog? SLATE 2019: 17:1-17:9 - [c52]Mateusz Slazynski
, Salvador Abreu
, Grzegorz J. Nalepa:
Generating Local Search Neighborhood with Synthesized Logic Programs. ICLP Technical Communications 2019: 168-181 - [i7]Salvador Abreu, Petra Hofstedt, Ulrich John, Herbert Kuchen, Dietmar Seipel:
Pre-proceedings of the DECLARE 2019 Conference. CoRR abs/1909.04870 (2019) - 2018
- [j8]Dietmar Seipel, Falco Nogatz, Salvador Abreu
:
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies. Comput. Lang. Syst. Struct. 51: 102-117 (2018) - [c51]Pedro Roque
, Vasco Pedro, Daniel Diaz
, Salvador Abreu
:
Improving Constraint Solving on Parallel Hybrid Systems. ICTAI 2018: 726-732 - [c50]Jheisson López, Danny Munera
, Daniel Diaz
, Salvador Abreu
:
On Integrating Population-Based Metaheuristics with Cooperative Parallelism. IPDPS Workshops 2018: 601-608 - [c49]Jheisson López, Danny Múnera
, Daniel Diaz
, Salvador Abreu
:
Weaving of Metaheuristics with Cooperative Parallelism. PPSN (1) 2018: 436-448 - [p1]Philippe Codognet, Danny Munera
, Daniel Diaz
, Salvador Abreu
:
Parallel Local Search. Handbook of Parallel Constraint Reasoning 2018: 381-417 - [e4]Dietmar Seipel, Michael Hanus, Salvador Abreu:
Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10997, Springer 2018, ISBN 978-3-030-00800-0 [contents] - 2016
- [c48]Danny Munera
, Daniel Diaz
, Salvador Abreu
:
Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. EvoCOP 2016: 251-266 - [c47]Danny Munera
, Daniel Diaz
, Salvador Abreu
:
Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. HM 2016: 47-61 - [c46]Dietmar Seipel, Rüdiger von der Weth, Salvador Abreu
, Falco Nogatz, Alexander Werner:
Declarative Rules for Annotated Expert Knowledge in Change Management. SLATE 2016: 7:1-7:16 - 2015
- [j7]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): 30-56 (2015) - [c45]Pedro D. Salgueiro
, Salvador Abreu
, Jose Rolo, Stéphane Clain
:
An interactive web-based tool for breast reduction surgery simulation. 3DUI 2015: 181-182 - [c44]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: 1212-1218 - 2014
- [c43]Danny Munera
, Daniel Diaz
, Salvador Abreu
, Philippe Codognet:
A Parametric Framework for Cooperative Parallel Local Search. EvoCOP 2014: 13-24 - [c42]Danny Munera
, Daniel Diaz
, Salvador Abreu
, Philippe Codognet:
Flexible cooperation in parallel local search. SAC 2014: 1360-1361 - 2013
- [j6]Pedro D. Salgueiro
, Salvador Abreu
:
Modelling distributed network attacks with constraints. Int. J. Bio Inspired Comput. 5(4): 210-225 (2013) - [c41]Rui Machado, Vasco Pedro, Salvador Abreu
:
On the Scalability of Constraint Programming on Hierarchical Multiprocessor Systems. ICPP 2013: 530-535 - [c40]Danny Munera
, Daniel Diaz
, Salvador Abreu
:
Towards Parallel Constraint-Based Local Search with the X10 Language. KDPD 2013: 169-184 - [c39]Rui Machado, Salvador Abreu
, Daniel Diaz
:
Parallel Performance of Declarative Programming Using a PGAS Model. PADL 2013: 244-260 - [c38]Irene Rodrigues
, Nuno Matos, Salvador Abreu
, Rébecca Deneckère, Daniel Diaz
:
Towards constraint-informed information systems. RCIS 2013: 1-10 - [e3]Hans Tompits, Salvador Abreu
, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf:
Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7773, Springer 2013, ISBN 978-3-642-41523-4 [contents] - [i6]Rui Machado, Salvador Abreu, Daniel Diaz:
Parallel Local Search: Experiments with a PGAS-based programming model. CoRR abs/1301.7699 (2013) - [i5]Danny Munera, Daniel Diaz, Salvador Abreu:
Experimenting with X10 for Parallel Constraint-Based Local Search. CoRR abs/1307.4641 (2013) - 2012
- [j5]Daniel Diaz
, Salvador Abreu
, Philippe Codognet:
Targeting the Cell Broadband Engine for constraint-based local search. Concurr. Comput. Pract. Exp. 24(6): 647-660 (2012) - [j4]Daniel Diaz
, Salvador Abreu
, Philippe Codognet:
On the implementation of GNU Prolog. Theory Pract. Log. Program. 12(1-2): 253-282 (2012) - [c37]Daniel Diaz
, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu
:
Parallel Local Search for the Costas Array Problem. IPDPS Workshops 2012: 1793-1802 - [c36]Daniel Diaz
, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu
:
Constraint-Based Local Search for the Costas Array Problem. LION 2012: 378-383 - [c35]Yves Caniou, Daniel Diaz
, Florian Richoux, Philippe Codognet, Salvador Abreu
:
Performance analysis of parallel constraint-based local search. PPoPP 2012: 337-338 - 2011
- [j3]Francisco Rocha, Salvador Abreu
, Miguel Correia
:
The Final Frontier: Confidentiality and Privacy in the Cloud. Computer 44(9): 44-50 (2011) - [j2]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): 229-236 (2011) - [c34]Yves Caniou, Philippe Codognet, Daniel Diaz
, Salvador Abreu
:
Experiments in Parallel Constraint-Based Local Search. EvoCOP 2011: 96-107 - [c33]Pedro D. Salgueiro
, Salvador Abreu
:
Modeling Distributed Network Attacks with Constraints. IDC 2011: 203-212 - [c32]Pedro D. Salgueiro
, Daniel Diaz
, Isabel Brito
, Salvador Abreu
:
Using Constraints for Intrusion Detection: The NeMODe System. PADL 2011: 115-129 - [c31]Yves Caniou, Philippe Codognet, Daniel Diaz
, Salvador Abreu
:
Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC 2011: 920-921 - [e2]Salvador Abreu
, Dietmar Seipel:
Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6547, Springer 2011, ISBN 978-3-642-20588-0 [contents] - [i4]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 abs/1112.4993 (2011) - 2010
- [c30]Daniel Diaz
, Salvador Abreu
, Philippe Codognet:
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC 2010: 265-274 - [c29]Pedro D. Salgueiro
, Salvador Abreu
:
A DSL for intrusion detection based on constraint programming. SIN 2010: 224-232 - [i3]Vasco Pedro, Salvador Abreu:
Distributed Work Stealing for Constraint Solving. CoRR abs/1009.3800 (2010) - [i2]Paulo André, Salvador Abreu:
Casting of the WAM as an EAM. CoRR abs/1009.3806 (2010) - [i1]Daniel Diaz, Salvador Abreu, Philippe Codognet:
On the Implementation of GNU Prolog. CoRR abs/1012.2496 (2010)
2000 – 2009
- 2009
- [c28]Vítor Nogueira
, Salvador Abreu
:
ISTO: A Language for Temporal Organizational Information Systems. INAP 2009: 40-51 - [c27]Pedro D. Salgueiro
, Salvador Abreu
:
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis. INAP 2009: 223-238 - [c26]Salvador Abreu
, Daniel Diaz
, Philippe Codognet:
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results). LSCS 2009: 97-111 - 2008
- [j1]Nuno Lopes
, Cláudio Fernandes, Salvador Abreu
:
Representing and querying multiple ontologies with Contextual Logic Programming. Comput. Sci. Inf. Syst. 5(2): 39-62 (2008) - 2007
- [c25]Nuno Lopes, Cláudio Fernandes, Salvador Abreu:
Contextual Logic Programming for Ontology Representation and Querying. ALPSWS 2007 - [c24]Cláudio Fernandes, Nuno Lopes, Salvador Abreu:
On Querying Ontologies with Contextual Logic Programming. OWLED 2007 - [c23]Vítor Nogueira
, Salvador Abreu
:
Modularity and Temporal Reasoning: A Logic Programming Approach. TIME 2007: 191 - [c22]Vítor Nogueira
, Salvador Abreu
:
Integrating Temporal Annotations in a Modular Logic Language. INAP/WLP 2007: 165-177 - 2006
- [c21]Salvador Abreu
, Vítor Nogueira
:
Towards Structured Contexts and Modules. ICLP 2006: 436-438 - [c20]Vítor Nogueira, Salvador Abreu
:
Towards Temporal Contextual Logic Programming. ICLP 2006: 439-441 - [c19]Vítor Nogueira
, Salvador Abreu
:
Temporal Contextual Logic Programming. WFLP 2006: 219-233 - 2005
- [c18]Salvador Abreu, Vítor Nogueira
:
Using a Logic Programming Language with Persistence and Contexts. INAP 2005: 38-47 - 2004
- [c17]Salvador Abreu, Daniel Diaz:
Contexts for Organizational Information System Design and Implementation. ICEIS (1) 2004: 227-232 - [c16]Vítor Beires Nogueira, Salvador Abreu, Gabriel David:
Towards Temporal Reasoning in Constraint Contextual Logic Programming. WLPE 2004 - 2003
- [c15]Salvador Abreu, Paulo Quaresma, Luis Quintano, Irene Pimenta Rodrigues:
A Dialogue Manager for Accessing Databases. EJC 2003: 210-219 - [c14]Salvador Abreu
, Daniel Diaz
:
Objective: In Minimum Context. ICLP 2003: 128-147 - [c13]Vítor Nogueira, Salvador Abreu, Gabriel David:
Using Contextual Logic Programming for Temporal Reasoning. JISBD 2003: 479-490 - [e1]Fernando Moura-Pires, Salvador Abreu
:
Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings. Lecture Notes in Computer Science 2902, Springer 2003, ISBN 3-540-20589-6 [contents] - 2002
- [c12]Vítor Beires Nogueira, Salvador Abreu, Gabriel David:
Towards Temporal Reasoning in ISCO. APPIA-GULP-PRODE 2002: 311-324 - [c11]Salvador Abreu
, Paulo Quaresma
, Luis Quintano
, Irene Rodrigues:
A Natural Language Dialogue Manager for Accessing Databases. PorTAL 2002: 161-170 - 2001
- [c10]Salvador Abreu, Joaquim Godinho:
Logic-based Network Configuration and Management. EUNIS 2001: 286-293 - [c9]Luis Quintano
, Salvador Abreu, Irene Rodrigues:
Relational Information Retrieval through Natural Language Analysis. INAP (LNCS Volume) 2001: 86-99 - [c8]Salvador Abreu:
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems. INAP 2001: 229-237 - [c7]Luis Quintano, Salvador Abreu, Irene Pimenta Rodrigues:
Relational Information Retrieval through Natural Lanaguage Analysis. INAP 2001: 437-451 - [c6]Lígia Ferreira, Salvador Abreu
:
Design for AJACS, yet another Java constraint programming framework. APPIA-GULP-PRODE 2001: 167-178 - 2000
- [c5]Salvador Abreu
:
A Logic-Based Information System. PADL 2000: 141-153
1990 – 1999
- 1999
- [c4]Lígia Ferreira, Salvador Abreu
:
A Constraint Logic Programming Framwork in Java. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 81-92 - 1994
- [c3]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: 9-16 - 1993
- [c2]Salvador Abreu, Luís Moniz Pereira:
Design for AKL with Intelligent Pruning. ELP 1993: 3-10 - 1992
- [c1]Salvador Abreu, Luís Moniz Pereira, Philippe Codognet:
Improving Backward Execution in the Andorra Family of Languages. JICSLP 1992: 384-398
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint