E-LIB Suche - Ergebnisse für: Abreu, Salvador

1

Teaching Prolog with Active Logic Documents:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Morales, Jose F. ; Abreu, Salvador ; Ferreiro, Daniela. - p. 171-183 , 2023

Link: https://doi.org/10.1007/..

2

Combining IoT Risk Management with Logic Programming:

, In: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI),

Lento, Luiz Otavio Botelho ; Patinho, Pedro ; Abreu, Salvador - p. 1-5 , 2023

Link: https://doi.org/10.23919..

3

Multi-objective Finite-Domain Constraint-Based Forest Manag..:

, In: Springer Proceedings in Mathematics & Statistics; Operational Research,

Eloy, Eduardo ; Bushenkov, Vladimir ; Abreu, Salvador - p. 75-88 , 2023

Link: https://doi.org/10.1007/..

4

Constraint Modeling for Forest Management:

, In: Dynamic Control and Optimization; Springer Proceedings in Mathematics & Statistics,

Eloy, Eduardo ; Bushenkov, Vladimir ; Abreu, Salvador - p. 185-200 , 2022

Link: https://doi.org/10.1007/..

5

Intelligent Decision Support for Cybersecurity Incident Res..:

, In: Lecture Notes in Computer Science; Risks and Security of Internet and Systems,

Correa, Camilo ; Robin, Jacques ; Mazo, Raul. - p. 91-107 , 2022

Link: https://doi.org/10.1007/..

6

Quantum and Digital Annealing for the Quadratic Assignment ..:

, In: 2022 IEEE International Conference on Quantum Software (QSW),

Codognet, Philippe ; Diaz, Daniel ; Abreu, Salvador - p. 1-8 , 2022

Link: https://doi.org/10.1109/..

7

Fifty Years of Prolog and Beyond:

KÖRNER, PHILIPP ; LEUSCHEL, MICHAEL ; BARBOSA, JOÃO...
Theory and Practice of Logic Programming. 22 (2022) 6 - p. 776-858 , 2022

Link: https://doi.org/10.1017/..

8

Parallel constraint solving for combinatorial problems:

Liu, Ke , 2021

Link: https://nbn-resolving.de..

9

Solving QAP with Auto-parameterization in Parallel Hybrid M..:

, In: Communications in Computer and Information Science; Optimization and Learning,

Duque, Jonathan ; Múnera, Danny A. ; Díaz, Daniel. - p. 294-309 , 2021

Link: https://doi.org/10.1007/..

10

Declarative Programming and Knowledge Management: Conferenc..

Lecture Notes in Artificial Intelligence, 12057

Hofstedt, Petra ; Abreu, Salvador ; John, Ulrich.. - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

11

A Self-certifiable Architecture for Critical Systems Powere..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Robin, Jacques ; Mazo, Raul ; Madeira, Henrique... - p. 391-397 , 2019

Link: https://doi.org/10.1007/..

12

Towards a formal specification of local search neighborhood..:

, In: Proceedings of the Genetic and Evolutionary Computation Conference Companion,

Ślażyński, Mateusz ; Abreu, Salvador ; Nalepa, Grzegorz J. - p. 137-138 , 2019

Link: https://dl.acm.org/doi/1..

13

Declarative Programming and Knowledge Management

Conference on Declarative Programming, DECLARE 2017, Unifyi... Lecture Notes in Artificial Intelligence ; 10997;SpringerLink, Bücher

Seipel, Dietmar ; Abreu, Salvador ; Hanus, Michael , 2018

Link: https://doi.org/10.1007/..

14

Domain-specific languages in Prolog for declarative expert ..:

Seipel, Dietmar ; Nogatz, Falco ; Abreu, Salvador
Computer Languages, Systems & Structures. 51 (2018) - p. 102-117 , 2018

Link: https://doi.org/10.1016/..

15

Weaving of Metaheuristics with Cooperative Parallelism:

, In: Parallel Problem Solving from Nature – PPSN XV; Lecture Notes in Computer Science,

López, Jheisson ; Múnera, Danny ; Diaz, Daniel. - p. 436-448 , 2018

Link: https://doi.org/10.1007/..