Login
Research

Intelligent Systems

Intelligent Systems

Information Team Publications Projects Graduations Prototypes Seminars

Intention Recognition, Commitments and Their Roles in the Evolution of Cooperation

Concluded

01/09/2009 - 11/05/2012 / PhD

Post-Graduation by: Han The Anh

Modern Techniques for Constraint Solving: The CaSPER Experience

Concluded

01/12/2004 - 10/12/2010 / PhD

Post-Graduation by: Marco Correia

Revision Based Total Semantics for Normal Logic Programs

Concluded

01/09/2009 - 02/12/2013 / PhD

Post-Graduation by: Ankica Barisic

SAT Encodings of Finite CSPs

Concluded

01/10/2010 - 26/02/2015 / PhD

Post-Graduation by: Nguyen Van Hau

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Concluded

02/09/2007 - 20/07/2011 / PhD

Post-Graduation by: Alexandre Pinto

Combining Open and Closed World Reasoning for the Semantic Web

Concluded

01/10/2007 - 02/09/2011 / PhD

Post-Graduation by: Matthias Knorr

Paraconsistency, disjunction, and uncertainty in Logic Programming: a unifying approach based on the WFS

Concluded

01/09/2004 - 01/09/2008 / PhD

Post-Graduation by: Ankica Barisic

Distributed Knowledge Bases: A proposal for argumentation-based semantics with cooperation

Concluded

13/01/2011 - 13/01/2011 / PhD

Post-Graduation by: Iara Almeida

Mapas de Atenuação e Acumulação

Concluded

01/09/2015 - 30/06/2016 / MSc

Post-Graduation by: Catarina Albino

Evolving Reactive Logic Programs

Concluded

01/10/2004 - 20/02/2008 / PhD

Post-Graduation by: Federico Banti

Perfis e Estimativa de Consumo de Serviços em Estabelecimentos Hoteleiros

Concluded

01/09/2014 - 01/07/2015 / MSc

Post-Graduation by: Sergio Casca

Seeded Region Growing Methods for Automatic Upwelling Detection from Sea Surface Temperature Images

Concluded

30/10/2014 - 30/09/2015 / MSc

Post-Graduation by: Vasco Lopes

Predicting the Occupancy Levels of Parking Areas

Concluded

02/09/2013 - 11/07/2014 / MSc

Post-Graduation by: Luis Miguel Reis

Analysis of Classification Algorithms for Crop Detection using LANDSAT 8 Images

Concluded

30/10/2014 - 19/10/2015 / MSc

Post-Graduation by: Ankica Barisic

Aquisição e Interrogação de conhecimento de Prática Clínica usando Linguagem Natural

Concluded

01/10/2010 - 03/12/2014 / PhD

Post-Graduation by: Ankica Barisic

Fuzzy clustering não supervisionado na detecção automática de regiões de upwelling a partir de mapas de temperatura da superfície oceânica

Concluded

30/10/2008 - 15/10/2009 / MSc

Post-Graduation by: Pedro Franco

Modular Logic Programming: Full Compositionality and Conflict Handling for Practical Reasoning

Concluded

01/10/2010 - 22/12/2016 / PhD

Post-Graduation by: João Moura

Smart-Geo Catalog

Concluded

01/09/2014 - 30/10/2015 / MSc

Post-Graduation by: Pedro Miguel Amaral

From Logic Programming to Human Reasoning: How to be Artificially Human

Concluded

02/04/2012 - 26/06/2017 / PhD

Post-Graduation by: Emmanuelle Anna Dietz

Browsing Multidimensional Visual Entities

Concluded

01/09/2015 - 30/10/2015 / MSc

Post-Graduation by: Miguel Aniceto

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems