|
|
/
Browsing by Author Abreu, Salvador
Showing results 2 to 21 of 76
| Issue Date | Title | Author(s) | | 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 |
| Apr-2017 | Enlisting GPU Power for Constraint Solving | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
Showing results 2 to 21 of 76
|
