Salvador Abreu

91 papers A* 1B 11C 7Misc 5Journal 18Unranked 43

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