Salvador Abreu
Orcid: 0000-0002-1613-4631
According to our database1,
Salvador Abreu
authored at least 81 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on d-nb.info
-
on di.uevora.pt
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
2023
Proceedings of the Prolog: The Next 50 Years, 2023
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge.
Proceedings of the 12th Symposium on Languages, Applications and Technologies, 2023
2022
Proceedings of the IEEE International Conference on Quantum Software, 2022
2021
Proceedings of the 10th Symposium on Languages, Applications and Technologies, 2021
Proceedings of the Optimization and Learning - 4th International Conference, 2021
Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search.
Proceedings of the Risks and Security of Internet and Systems, 2021
2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Proceedings of the 8th Symposium on Languages, Applications and Technologies, 2019
Proceedings of the 8th Symposium on Languages, Applications and Technologies, 2019
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure.
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019
2018
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies.
Comput. Lang. Syst. Struct., 2018
Proceedings of the Parallel Problem Solving from Nature - PPSN XV, 2018
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2016
Proceedings of the 5th Symposium on Languages, Applications and Technologies, 2016
Proceedings of the Hybrid Metaheuristics - 10th International Workshop, 2016
Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2016
2015
Large-scale parallelism for constraint-based local search: the costas array case study.
Constraints An Int. J., 2015
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the 2015 IEEE Symposium on 3D User Interfaces, 2015
2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Evolutionary Computation in Combinatorial Optimisation, 2014
2013
Int. J. Bio Inspired Comput., 2013
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
Proceedings of the Declarative Programming and Knowledge Management, 2013
Proceedings of the 42nd International Conference on Parallel Processing, 2013
2012
Concurr. Comput. Pract. Exp., 2012
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
2011
Comput. Sci. Res. Dev., 2011
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
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Proceedings of the Intelligent Distributed Computing V - Proceedings of the 5th International Symposium on Intelligent Distributed Computing - IDC 2011, Delft, The Netherlands, 2011
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2011
2010
Proceedings of the 3rd International Conference on Security of Information and Networks, 2010
Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010
2009
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009
Network Monitoring with Constraint Programming: Preliminary Specification and Analysis.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
2008
Comput. Sci. Inf. Syst., 2008
2007
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007
Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, 2007
2006
Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Logic Programming, 22nd International Conference, 2006
2005
Proceedings of the Declarative Programming for Knowledge Management, 2005
2004
Towards Temporal Reasoning in Constraint Contextual Logic Programming.
Proceedings of the 14th International Workshop on Logic Programming Environments, 2004
Contexts for Organizational Information System Design and Implementation.
Proceedings of the ICEIS 2004, 2004
2003
Using Contextual Logic Programming for Temporal Reasoning.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
A Dialogue Manager for Accessing Databases.
Proceedings of the Information Modelling and Knowledge Bases XV, 2003
2002
Proceedings of the Advances in Natural Language Processing, 2002
Proceedings of the AGP 2002: Proceedings of the Joint Conference on Declarative Programming, 2002
2001
Proceedings of the Declarative Programming, 2001
Proceedings of the Web Knowledge Management and Decision Support, 2001
Relational Information Retrieval through Natural Lanaguage Analysis.
Proceedings of the 14th International Conference on Applications of Prolog, 2001
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems.
Proceedings of the 14th International Conference on Applications of Prolog, 2001
Proceedings of the Changing Universities, 2001
2000
Proceedings of the Practical Aspects of Declarative Languages, 2000
1999
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
1994
A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems.
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994
1993
Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993
1992
Improving Backward Execution in the Andorra Family of Languages.
Proceedings of the Logic Programming, 1992