|
/
Browsing by Author Abreu, Salvador
Showing results 1 to 20 of 76
Issue Date | Title | Author(s) | 2015 | A 3D Web interface for plastic surgery simulation | Rolo, José Luís Pina |
2019 | Alexa, How Can I Reason with Prolog? | Nogatz, Falco; Kübert, Julia; Seipel, Dietmar; Abreu, Salvador |
Mar-2015 | An Interactive Web-Based Tool for Breast Reduction Surgery Simulation | Salgueiro, Pedro; Abreu, Salvador; Rolo, José; Séphane, Clain |
31-Mar-2016 | An Overview of IoT and Healthcare | Carnaz, Gonçalo; Nogueira, Vitor Beires |
2011 | Applications of Declarative Programming and Knowledge Management: proceedings of the 18th International Conference, INAP 2009 | Abreu, Salvador; Seipel, Dietmar |
2015 | Artificial intelligence for the detection of AOX functional markers | Quaresma, Paulo; Gonçalves, Teresa; Abreu, Salvador; Costa, José Hélio; Mashayekhi, Kaveh; Arnholdt-Schmitt, Birgit; Svensson, Jan T. |
2014 | Back-end GNU prolog para EAM (tabulação e distribuição) | André, Paulo Ricardo Lopes |
17-Jun-2023 | Book of Abstracts: International Workshop on Mathematics and Physical Sciences | Minhós, Feliz; Bezzeghoud, Mourad; Abreu, Salvador; Carapau, Fernando; Correira, Paulo |
2012 | Constraint-Based Local Search for the Costas Array Problem | Diaz, Daniel; Richoux, Florian; Codognet, Philippe; Caniou, Yves; Abreu, Salvador |
Jul-2016 | Constraint-Informed Information Systems in Space Management Utilization | Rodrigues, Irene; Quaresma, Rui; Diaz, Daniel; Abreu, Salvador |
2022 | Constraint Modeling for Forest Management | Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador |
2008 | Constraint programming on a heterogeneous multicore architecture | Machado, Rui Mário da Silva |
2018 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco |
2017 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
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 |
Showing results 1 to 20 of 76
|