???global.info.a_carregar???
Identification

Personal identification

Full name
SALVADOR LUÍS DE BETHENCOURT PINTO DE ABREU

Citation names

  • Abreu, Salvador
  • Abreu, Salvador Pinto

Author identifiers

Ciência ID
C617-7ED4-8326
ORCID iD
0000-0002-1613-4631
Researcher Id
B-4118-2013
Scopus Author Id
14824488000

Email addresses

  • spa@uevora.pt (Professional)
Education
Degree Classification
2009
Concluded
 Informática (Título de Agregado)
Universidade de Évora, Portugal
"Compiladores" (THESIS/DISSERTATION)
 Aprovado por unanimidade
1994
Concluded
 Informática (Doutoramento)
Major in Inteligência Artificial
Universidade NOVA de Lisboa Faculdade de Ciências e Tecnologia, Portugal
"Improving the Parallel Execution of Logic Programs" (THESIS/DISSERTATION)
1987
Concluded
 Engenharia Informática (Licenciatura)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
 A (17/20)
Affiliation

Science

Category
Host institution 		Employer
2020 - Current Researcher (Research) Universidade de Évora - NOVA LINCS, Portugal
Universidade de Évora, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2013/05/07 - Current Full Professor (University Teacher) Universidade de Évora Escola de Ciências e Tecnologia, Portugal
2001/06/01 - 2013/05/29 Associate Professor (University Teacher) Universidade de Évora, Portugal
1995/01/01 - 2001/05/29 Assistant Professor (University Teacher) Universidade de Évora, Portugal

Positions / Appointments

Category
Host institution 		Employer
2022/12 - Current President of the Scientific Council Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
2017/01/01 - 2022/04/01 President of the Scientific Council Universidade de Évora Escola de Ciências e Tecnologia, Portugal
1996 - 1999 Pro-Rector Universidade de Évora, Portugal
Outputs

Publications

Book
  1. Rocha, Francisco; Abreu, Salvador; Correia, Miguel. The Next Frontier: Managing Data Confidentiality and Integrity in the Cloud. IEEE Computer Society Press. 2013.
    Published
Book chapter
  1. Morales, Jose F.; Abreu, Salvador; Ferreiro, Daniela; Hermenegildo, Manuel V.. "Teaching Prolog with Active Logic Documents". In Prolog: The Next 50 Years, 171-183. Springer Nature Switzerland, 2023.
    Published • 10.1007/978-3-031-35254-6_14
  2. Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador. "Multi-objective Finite-Domain Constraint-Based Forest Management". In Springer Proceedings in Mathematics & Statistics, 75-88. Springer Nature Switzerland, 2023.
    10.1007/978-3-031-46439-3_6
  3. Codognet, Philippe; Munera, Danny; Diaz, Daniel; Abreu, Salvador. "Parallel Local Search". In Handbook of Parallel Constraint Reasoning, 381-417. Springer International Publishing, 2018.
    Published • 10.1007/978-3-319-63516-3_10
  4. Paulo Quaresma; Teresa Gonçalves; Abreu, Salvador; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T. Svensson. "Artificial intelligence for the detection of AOX functional markers". In Alternative respiratory pathways in higher plants. John Wiley & Sons, 2015.
    Published • 10.1002/9781118789971.ch14
Conference paper
  1. Ferreiro, Daniela; Morales, Jose F.; Abreu, Salvador; Hermenegildo, Manuel V.. "Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials". Paper presented in 39th International Conference on Logic Programming (ICLP 2023), 2023.
    Published
  2. Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Abreu, Salvador. "Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge". Paper presented in 12th Symposium on Languages, Applications and Technologies (SLATE 2023), 2023.
    Published
  3. Eloy, E.; Bushenkov, V.; Abreu, Salvador. "Constraint Modeling for Forest Management". Paper presented in DCO 2021: Dynamic Control and Optimization, 2022.
    Published • 10.1007/978-3-031-17558-9_10
  4. Codognet, Philippe; Diaz, Daniel; Abreu, Salvador. "Quantum and Digital Annealing for the Quadratic Assignment Problem". Paper presented in 2022 IEEE International Conference on Quantum Software (QSW), part of IEEE Congress on Services, 2022.
    Published • 10.1109/qsw55613.2022.00016
  5. Correa, C.; Robin, J.; Mazo, R.; Abreu, Salvador. "Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search". Paper presented in 16th International Conference on Risks and Security of Internet and Systems (CRiSIS 2021), 2021.
    Published • 10.1007/978-3-031-02067-4_6
  6. Lento, Luiz Otávio; Abreu, Salvador; Patinho, Pedro. "ReTRiMM-IoT: A new Proposal to Reduce IoT Security Risks - An application in IoT Healthcare Environments". Paper presented in INFORUM 2021, Lisboa, 2021.
    Accepted
  7. Duque, Jonathan; Múnera, Danny A.; Díaz, Daniel; Abreu, Salvador. "Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics". Paper presented in Optimization and Learning - 4th International Conference, OLA 2021, 2021.
    Published • 10.1007/978-3-030-85672-4_22
  8. Seipel, D.; Weidner, D.; Abreu, Salvador. "Intelligent query answering with contextual knowledge for relational databases". Paper presented in 10th Symposium on Languages, Applications and Technologies (SLATE 2021), 2021.
    Published • 10.4230/OASIcs.SLATE.2021.16
  9. Jean-François BAFFIER; Khalil CHRIT; Florian RICHOUX; Pedro PATINHO; Abreu, Salvador. "CompositionalNetworks.jl: a scaling glass-box neural network to learn combinatorial functions". Paper presented in JuliaCon 2021, 2021.
    Published • 10.21105.jcon.00087
  10. Nogatz, F.; Seipel, D.; Abreu, Salvador. "Definite clause grammars with parse trees: Extension for prolog". Paper presented in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, 2019.
    Published • 10.4230/OASIcs.SLATE.2019.7
  11. Slazynski, M.; Abreu, S.; Nalepa, G.J.. "Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure". Paper presented in GECCO '19: Genetic and Evolutionary Computation Conference, 2019.
    Published • 10.1145/3319619.3321968
  12. Nogatz, F.; Kübert, J.; Seipel, D.; Abreu, Salvador. "Alexa, how can I reason with prolog?". Paper presented in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, 2019.
    Published • 10.4230/OASIcs.SLATE.2019.17
  13. Slazynski, M.; Abreu, Salvador; Nalepa, G.J.. "Generating local search neighborhood with synthesized logic programs". Paper presented in 35th International Conference on Logic Programming (ICLP 2019), 2019.
    Published • 10.4204/EPTCS.306.22
  14. Robin, J.; Mazo, R.; Madeira, H.; Barbosa, R.; Diaz, D.; Abreu, Salvador. "A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence". Paper presented in Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, 2019.
    Published • 10.1007/978-3-030-26250-1_32
  15. Lopez, J.; Munera, D.; Diaz, D.; Abreu, Salvador. "On integrating population-based metaheuristics with cooperative parallelism". Paper presented in 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2018.
    Published • 10.1109/IPDPSW.2018.00100
  16. López, J.; Múnera, D.; Diaz, D.; Abreu, Salvador. "Weaving of metaheuristics with cooperative parallelism". Paper presented in International Conference on Parallel Problem Solving from Nature (PPSN 2018), 2018.
    Published • 10.1007/978-3-319-99253-2_35
  17. Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador. "Improving Constraint Solving on Parallel Hybrid Systems". Paper presented in 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), 2018.
    Published • 10.1109/ictai.2018.00114
  18. Seipel, D.; Von Der Weth, R.; Abreu, S.; Nogatz, F.; Werner, A.. "Declarative rules for annotated expert knowledge in change management". Paper presented in 5th Symposium on Languages, Applications and Technologies (SLATE'16), 2016.
    Published • 10.4230/OASIcs.SLATE.2016.7
  19. Munera, D.; Diaz, D.; Abreu, S.. "Solving the quadratic assignment problem with cooperative parallel extremal optimization". Paper presented in 16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, 2016.
    Published • 10.1007/978-3-319-30698-8_17
  20. Munera, D.; Diaz, D.; Abreu, S.. "Hybridization as cooperative parallelism for the quadratic assignment problem". Paper presented in 10th International Workshop on Hybrid Metaheuristics, Plymouth, 2016.
    Published • 10.1007/978-3-319-39636-1_4
  21. Roque, Pedro; Pedro, Vasco; Abreu, Salvador. "Load Balancing for Constraint Solving with GPUs". Paper presented in INForum --- Simpósio de Informática 2016 (Computação Paralela, Distribuída e de Larga Escala), 2016.
    Published
  22. Roque, Pedro; Pedro, Vasco; Abreu, Salvador. "Solving Constraint Satisfaction Problems in GPUs". Paper presented in JIUE 2015 - 5as Jornadas de Informática da Universidade de Évora, Évora, 2015.
    Published
  23. Munera, D.; Diaz, D.; Abreu, Salvador; Rossi, F.; Saraswat, V.; Codognet, P.. "Solving hard stable matching problems via local search and cooperative parallelization". Paper presented in AAAI Conference on Artificial Intelligence 29 (2015), 2015.
    10.1609/aaai.v29i1.9360
  24. Salgueiro, P.; Abreu, Salvador; Rolo, J.; Clain, S.. "An interactive web-based tool for breast reduction surgery simulation". Paper presented in 2015 IEEE Symposium on 3D User Interfaces (3DUI), 2015.
    10.1109/3DUI.2015.7131760
  25. Munera, D.; Diaz, D.; Abreu, S.; Codognet, P.. "Flexible cooperation in parallel local search". Paper presented in 29th Annual ACM Symposium on Applied Computing, 2014.
    Published • 10.1145/2554850.2555140
  26. Bloemen, V.; Diaz, D.; Van Der Bijl, M.; Abreu, Salvador. "Extending the finite domain solver of GNU prolog". Paper presented in Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS 2014), 2014.
    Published
  27. Munera, D.; Diaz, D.; Abreu, Salvador; Codognet, P.. "A parametric framework for cooperative parallel local search". Paper presented in EvoCOP 2014: Evolutionary Computation in Combinatorial Optimisation, 2014.
    Published • 10.1007/978-3-662-44320-0_2
  28. Machado, R.; Pedro, V.; Abreu, Salvador. "On the scalability of constraint programming on hierarchical multiprocessor systems". Paper presented in 42nd International Conference on Parallel Processing (ICPP 2013), 2013.
    Published • 10.1109/ICPP.2013.66
  29. Munera, D.; Diaz, D.; Abreu, S.. "Towards parallel constraint-based local search with the X10 language". Paper presented in International Conference on Applications of Declarative Programming and Knowledge Management, 2013.
    Published • 10.1007/978-3-319-08909-6_11
  30. Rodrigues, I.; Matos, N.; Abreu, S.; Deneckere, R.; Diaz, D.. "Towards constraint-informed information systems". Paper presented in IEEE 7th International Conference on Research Challenges in Information Science (RCIS), 2013.
    Published • 10.1109/RCIS.2013.6577690
  31. Machado, Rui; Abreu, Salvador; Diaz, Daniel. "Parallel Performance of Declarative Programming Using a PGAS Model". Paper presented in International Symposium on Practical Aspects of Declarative Languages (PADL 2013), 2013.
    Published • 10.1007/978-3-642-45284-0_17
  32. Madeira, Filipe; Quaresma, Rui; Abreu, Salvador. "Estratégia hibrida de recomendações sobre um gestor de conteúdos ampliado em ensino formal". Paper presented in CAPSI 2012, 2012.
  33. Caniou, Yves; Diaz, Daniel; Richoux, Florian; Codognet, Philippe; Abreu, Salvador. "Performance analysis of parallel constraint-based local search". Paper presented in PPoPP '12: 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, 2012.
    Published • 10.1145/2145816.2145883
  34. Madeira, F.; Quaresma, R.; Abreu, S.; Chova, LG; Martinez, AL; Torres, IC. "A Hybrid Recommender Strategy on an Expanded Content Manager in Formal Learning". Paper presented in 5th International Conference of Education, Research and Innovation (Iceri 2012), 2012.
    Published
  35. Diaz, Daniel; Richoux, Florian; Caniou, Yves; Codognet, Philippe; Abreu, Salvador; IEEE. "Parallel local search for the Costas Array Problem". Paper presented in 26th International Parallel and Distributed Processing Symposium (IPDPS 2012), 2012.
    Published • 10.1109/IPDPSW.2012.222
  36. Diaz, D.; Richoux, F.; Codognet, P.; Caniou, Y.; Abreu, S.. "Constraint-based local search for the costas array problem". Paper presented in LION 2012: Learning and Intelligent Optimization, 2012.
    Published • 10.1007/978-3-642-34413-8_31
  37. Caniou, Y.; Codognet, P.; Diaz, D.; Abreu, Salvador. "Parallel constraint-based local search on the HA8000 supercomputer (abstract)". Paper presented in SAC '11: 2011 ACM Symposium on Applied Computing, 2011.
    Published • 10.1145/1982185.1982386
  38. Caniou, Yves; Codognet, Philippe; Diaz, Daniel; Abreu, Salvador; Merz, P; Hao, JK; Caniou, Y.; et al. "Experiments in Parallel Constraint-Based Local Search". Paper presented in Evolutionary Computation in Combinatorial Optimization (EvoCOP 2011), 2011.
    Published • 10.1007/978-3-642-20364-0_9
  39. Salgueiro, Pedro; Diaz, Daniel; Brito, Isabel; Abreu, Salvador. "Using Constraints for Intrusion Detection: The NeMODe System". Paper presented in Practical Aspects of Declarative Languages (PADL 2011), 2011.
    Published • 10.1007/978-3-642-18378-2_11
  40. Salgueiro, P.D.; Abreu, Salvador. "A DSL for intrusion detection based on Constraint Programming". Paper presented in SIN '10: 3rd international conference on Security of information and networks, 2010.
    Published • 10.1145/1854099.1854145
  41. Pedro, V.; Abreu, Salvador. "Distributed work stealing for constraint solving". 2010.
    10.48550/arXiv.1009.3800
  42. André, P.; Abreu, S.. "Casting of the WAM as an EAM". 2010.
  43. Salgueiro, P.; Abreu, S.. "Network monitoring with constraint programming: Preliminary specification and analysis". Paper presented in 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009, 2009.
    Published • 10.1007/978-3-642-20589-7_14
  44. Nogueira, V.; Abreu, S.. "ISTO: A language for temporal organizational information systems". Paper presented in INAP 2009: Applications of Declarative Programming and Knowledge Management, 2009.
    Published • 10.1007/978-3-642-20589-7_3
  45. Abreu, S.; Diaz, D.; Codognet, P.. "Parallel local search for solving constraint problems on the cell broadband engine (Preliminary results)". 2009.
    10.4204/EPTCS.5.8
  46. Nogueira, Vitor; Abreu, Salvador. "Integrating Temporal Annotations in a Modular Logic Language". 2007.
    Published • 10.1007/978-3-642-00675-3_11
  47. Fernandes, C.; Lopes, N.; Abreu, S.. "On querying ontologies with contextual logic programming". 2007.
  48. Lopes, N.; Fernandes, C.; Abreu, S.. "Contextual logic programming for ontology representation and querying". 2007.
  49. Nogueira, V.; Abreu, S.. "Modularity and temporal reasoning: A logic programming approach". 2007.
    10.1109/TIME.2007.53
  50. Nogueira, Vitor; Abreu, Salvador. "Towards temporal contextual logic programming". Paper presented in International Conference on Logic Programming ICLP 2006, 2006.
    Published • 10.1007/11799573_39
  51. Abreu, S.; Nogueira, V.. "Towards structured contexts and modules". Paper presented in ICLP 2006: Logic Programming, 2006.
    Published
  52. Abreu, Salvador; Nogueira, Vitor. "Using a logic programming language with persistence and contexts". Paper presented in International Conference on Applications of Declarative Programming and Knowledge Management INAP 2005, 2005.
    Published
  53. Abreu, S.; Diaz, D.. "Contexts for organizational information system design and implementation". 2004.
  54. Abreu, S; Quaresma, P; Quintano, L; Rodrigues, I. "A dialogue manager for accessing databases". Paper presented in Information Modelling and Knowledge Bases XV, 2004.
    Published
  55. Quintano, L.; Abreu, S.; Rodrigues, I.. "Relational information retrieval through natural language analysis". 2003.
  56. Abreu, S; Diaz, D. "Objective: In minimum context". Paper presented in International Conference on Logic Programming ICLP 2003, 2003.
    Published • 10.1007/978-3-540-24599-5_10
  57. Abreu, S.; Quaresma, P.; Quintano, L.; Rodrigues, I.. "A natural language dialogue manager for accessing databases". 2002.
  58. Abreu, S.; Godinho, J.. "Logic-based Network Configuration and Management". 2002.
  59. Abreu, Salvador. "A logic-based information system". Paper presented in Practical Aspects of Declarative Languages (PADL 2000), 2000.
    Published • 10.1007/3-540-46584-7_10
  60. Abreu, S.; Pereira, L.M.. "Design for AKL with intelligent pruning". Paper presented in Extensions of Logic Programming: 4th International Workshop, ELP'93, 1993.
    Published
Edited book
  1. Hofstedt, P.; Abreu, Salvador; John, U.; Kuchen, H.; Seipel, D.. Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2019. Springer. 2020.
    Published • 10.1007/978-3-030-46714-2 • Editor
  2. Seipel, D.; Hanus, M.; Abreu, S.. Declarative Programming and Knowledge Management; Conference on Declarative Programming, DECLARE 2017, Würzburg, Germany, Revised Selected Papers. Springer International Publishing. 2018.
    Published • 10.1007/978-3-030-00801-7 • Editor
  3. Tompits, Hans; Abreu, Salvador; Oetsch, Johans; Pührer, Jörg; Seipel, Dietmar; Umeda, Masanobu; Wolf,Armin. Applications of Declarative Programming and Knowledge Management; 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011. Springer-Verlag. 2013.
    Published • 10.1007/978-3-642-41524-1 • Editor
  4. Seipel, D.; Abreu, Salvador. 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009; Lecture Notes in Computer Science Volume 6547 LNAI, 2011. Springer LNCS. 2011.
    Published • 10.1007/978-3-642-20589-7 • Editor
  5. Fernando Moura Pires; Salvador Abreu. Progress in Artificial Intelligence: 11th Portuguese Conference on Artificial Intelligence, EPIA 2003. Springer Berlin Heidelberg. 2003.
    Published • 10.1007/b94425 • Editor
Journal article
  1. Körner, Philip; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; Jose F. Morales; et al. "Fifty Years of Prolog and Beyond". Theory and Practice of Logic Programming 22 6 (2022): 776-858. https://doi.org/10.1017/S1471068422000102.
    Open access • Published • 10.1017/S1471068422000102
  2. Seipel, D.; Nogatz, F.; Abreu, Salvador. "Domain-specific languages in PROLOG for declarative expert knowledge in rules and ontologies". Computer Languages, Systems and Structures 51 (2018): 1339-1351. http://www.scopus.com/inward/record.url?eid=2-s2.0-85024891790&partnerID=MN8TOARS.
    Open access • Published • 10.1016/j.cl.2017.06.006
  3. Irene Pimenta Rodrigues; Quaresma, Rui; Daniel Diaz; Abreu, Salvador; Rodrigues, Irene; Diaz, Daniel. "Constraint-Informed Information Systems in Space Management Utilization". Coimbra Business Review 2 1 (2016): 17-27. http://hdl.handle.net/10174/19081.
    Published
  4. Caniou, Y.; Codognet, P.; Richoux, F.; Diaz, D.; Abreu, Salvador. "Large-scale parallelism for constraint-based local search: the costas array case study". Constraints 20 1 (2014): 30-56. http://www.scopus.com/inward/record.url?eid=2-s2.0-84920705456&partnerID=MN8TOARS.
    Published • 10.1007/s10601-014-9168-4
  5. Madeira, Filipe; Abreu, Salvador; Quaresma, Rui Filipe Cerqueira. "Hybrid Recommender Strategy in Learning: an Experimental Investigation". Social Technologies 3 1 (2013): 7-24. http://dx.doi.org/10.13165/st-13-3-1-01.
    Published • 10.13165/st-13-3-1-01
  6. Diaz, D.; Abreu, Salvador; Codognet, P.. "On the implementation of GNU Prolog". Theory and Practice of Logic Programming 12 1-2 (2012): 253-282. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856177092&partnerID=MN8TOARS.
    Published • 10.1017/S1471068411000470
  7. Diaz, Daniel; Abreu, Salvador; Codognet, Philippe. "Targeting the Cell Broadband Engine for constraint-based local search". Concurrency and Computation-Practice & Experience 24 6 (2012): 647-660. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000300978400008&KeyUID=WOS:000300978400008.
    Published • 10.1002/cpe.1855
  8. Machado, R.; Lojewski, C.; Abreu, Salvador; Pfreundt, F.-J.. "Unbalanced tree search on a manycore system using the GPI programming model". Computer Science - Research and Development 26 3-4 (2011): 229-236. http://www.scopus.com/inward/record.url?eid=2-s2.0-80051671105&partnerID=MN8TOARS.
    Published • 10.1007/s00450-011-0163-3
  9. Salgueiro, Pedro; Abreu, Salvador; Brazier, FMT; Nieuwenhuis, K; Pavlin, G; Warnier, M; Badica, C; Salgueiro, P.; Abreu, S.. "Modeling Distributed Network Attacks with Constraints". Intelligent Distributed Computing V 382 4 (2011): 203-212. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000307523200020&KeyUID=WOS:000307523200020.
    10.1007/978-3-642-24013-3_20
  10. Rocha, Francisco; Abreu, Salvador; Correia, Miguel. "The Final Frontier: Confidentiality and Privacy in the Cloud". Computer 44 9 (2011): 44-50. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000294862400014&KeyUID=WOS:000294862400014.
    Published • 10.1109/MC.2011.223
  11. Diaz, Daniel; Abreu, Salvador; Codognet, Philippe; Essaaidi, M; Malgeri, M; Badica, C; Diaz, D.; Abreu, S.; Codognet, P.. "Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture". Intelligent Distributed Computing Iv 315 (2010): 265-274. http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:000287889200028&KeyUID=WOS:000287889200028.
    10.1007/978-3-642-15211-5_28
  12. Lopes, N.; Fernandes, C.; Abreu, S.. "Representing and querying multiple ontologies with contextual logic programming". Computer Science and Information Systems 5 2 (2008): 39-62. http://www.scopus.com/inward/record.url?eid=2-s2.0-70349659845&partnerID=MN8TOARS.
    10.2298/CSIS0802039L
  13. Nogueira, V.; Abreu, S.. "Temporal Contextual Logic Programming". Electronic Notes in Theoretical Computer Science 177 1 (2007): 219-233. http://www.scopus.com/inward/record.url?eid=2-s2.0-34248679888&partnerID=MN8TOARS.
    Published • 10.1016/j.entcs.2007.01.025
  14. Ferreira, L.; Abreu, S.. "Design for AJACS, yet another Java constraint programming framework". Electronic Notes in Theoretical Computer Science 48 (2001): 167-178. http://www.scopus.com/inward/record.url?eid=2-s2.0-19144362722&partnerID=MN8TOARS.
    10.1016/S1571-0661(04)00155-0
  15. Ferreira, L.; Abreu, S.. "A CLP framework in Java". Electronic Notes in Theoretical Computer Science 30 3 (2000): 81-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944383074&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80108-2
Activities

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2023/10/16 - 2023/10/19 Keynote speaker; title: Artificial Intelligence, Industry 4.0 and Emergent Tech (https://fth.agh.edu.pl/)
Symposium
 Exploring the Frontiers of Technology and Humanity – AGH University Summer School
Akademia Górniczo-Hutnicza im Stanislawa Staszica w Krakowie Wydzial Odlewnictwa, Poland

Conference scientific committee

Conference name Conference host
2024 - 2024 30th International European Conference on Parallel and Distributed Computing (Euro-PAR 2024)
2023 - 2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI 2023)
2023 - 2023 37th Workshop on (Constraint and Functional) Logic Programming (WLP 2023)
2023 - 2023 39th International Conference on Logic Programming (ICLP 2023)
2023 - 2023 12th Symposium on Languages, Applications and Technologies (SLATE 2023)
2023 - 2023 25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023)
2023 - 2023 Intelligent Distributed Computing Symposium 2023 (IDC 2023)
2023 - 2023 29th International European Conference on Parallel and Distributed Computing (Euro-Par 2023)