|
/
Browsing by Author Abreu, Salvador
Showing results 15 to 34 of 76
Issue Date | Title | Author(s) | 2018 | Declarative Programming and Knowledge Management | Seipel, Dietmar; Hanus, Michael; Abreu, Salvador |
2004 | A dialogue manager for accessing databases | Abreu, Salvador; Quaresma, Paulo; Quintano, Luís; Rodrigues, Irene Pimenta |
Mar-2018 | Digital forensics research using constraint programming - a preliminary approach | Calhau, João; Salgueiro, Pedro; Abreu, Salvador; Goes, Nuno |
2007 | Distributed multi-threading in GNU prolog | Morgadinho, Nuno Eduardo Quaresma |
4-Jul-2017 | Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies | Seipel, Dietmar; Nogatz, Falco; Abreu, Salvador |
2007 | DSM-PM2 adequacy for distributed constraint programming | Almas, Luís Pedro Parreira Galito Pimenta |
Apr-2017 | Enlisting GPU Power for Constraint Solving | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
2014 | Enterprise Intelligence com Metadatos como Ontologia | Guimarães, Francisco; Caldeira, Carlos; Quaresma, Paulo |
7-Sep-2012 | Estratégia Hibrida de Recomendações sobre um Gestor de Conteúdos Ampliado em Ensino Formal | Madeira, Filipe; Quaresma, Rui; Abreu, Salvador |
2011 | Experiments in Parallel Constraint-Based Local Search | Caniou, Yves; Codognet, Philippe; Diaz, Daniel; Abreu, Salvador |
Jul-2014 | Extending the Finite Domain Solver of GNU Prolog | Bloemen, Vincent; Diaz, Daniel; van der Bijl, Machiel; Abreu, Salvador |
2022 | Fifty Years of Prolog and Beyond | Koerner, Philipp; Leuschel, Michael; Barbosa, João; Santos Costa, Vitor; Dahl, Verónica; Hermenegildo, Manuel; Morales, José; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni |
Mar-2014 | Flexible cooperation in parallel local search | Munera, Danny; Diaz, Daniel; Abreu, Salvador; Codognet, Philippe |
2013 | HYBRID RECOMMENDER STRATEGY IN LEARNING: AN EXPERIMENTAL INVESTIGATION | Madeira, Filipe; Abreu, Salvador; Quaresma, Rui |
2012 | A Hybrid Recommender Strategy on an Expanded Content Manager in Formal Learning | Madeira, Filipe; Quaresma, Rui; Abreu, Salvador |
Nov-2018 | Improving Constraint Solving on Parallel Hybrid Systems | Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador |
Nov-2018 | Improving Constraint Solving on Parallel Hybrid Systems | Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador |
2007 | Integrating Temporal Annotations in a Modular Logic Language | Nogueira, Vitor; Abreu, Salvador |
9-Apr-2022 | Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search | Correa, Camilo; Robin, Jacques; Mazo, Raul; Abreu, Salvador |
2011 | ISTO: a Language for Temporal Organisational Information Systems | Nogueira, Vitor; Abreu, Salvador |
Showing results 15 to 34 of 76
|