Login
Research

Intelligent Systems

Intelligent Systems

Information Team Publications Projects Graduations Prototypes Seminars

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

VisualAUThor – Uma plataforma de visualização de relações de colaboração

Concluded

01/01/1900 - 01/01/1900 / MSc

Post-Graduation by: Ankica Barisic

Detecção automática de actividades agronómicas

Concluded

01/01/1900 - 01/01/1900 / MSc

Post-Graduation by: Ankica Barisic

Integrated Data model and DSL modifications

Concluded

01/01/1970 - 01/01/1970 / MSc

Post-Graduation by: Miguel Bento Alves

A Distributed Platform for the Volunteer Execution of Workflows on a Local Area Network

Concluded

01/03/2013 - 20/06/2014 / MSc

Post-Graduation by: Jaquilino Silva

A Solution for Estimates in Software Development Projects

Concluded

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

Post-Graduation by: Ankica Barisic

Modeling and Visualization of Medical Anesthesiology Acts

Concluded

15/09/2012 - 16/12/2013 / MSc

Post-Graduation by: Pedro Miguel Tenreiro Cardoso

Repairs of Databases with Null Values

Concluded

01/09/2012 - 06/11/2013 / MSc

Post-Graduation by: Ankica Barisic

Epik: Ambiente para desenvolvimento de jogos para aprendizagem colaborativa e interativa

Concluded

15/02/2012 - 21/05/2013 / MSc

Post-Graduation by: Bruno Sampaio

Identificação de ninhos de cegonha em postes eléctricos

Concluded

15/09/2012 - 19/06/2013 / MSc

Post-Graduation by: Ankica Barisic

Intrusion Tolerant Routing Using Data-Consensus for Wireless Sensor Networks

Concluded

01/10/2012 - 09/10/2013 / MSc

Post-Graduation by: Ankica Barisic

Lightweight Monitoring of Transactional Memory Programs

Concluded

15/09/2012 - 18/12/2013 / MSc

Post-Graduation by: Ankica Barisic

Detecção de Padrões de Desempenho Académico no Ensino Superior

Concluded

09/07/2013 - 30/10/2014 / MSc

Post-Graduation by: Luis Pedro Albano Ramos

Governança e Modelação de Processos de TI

Concluded

01/01/1970 - 01/01/1970 / MSc

Post-Graduation by: Ankica Barisic

Single Operation Multiple Data – Data Parallelism at Subroutine Level

Concluded

15/02/2011 - 24/05/2012 / MSc

Post-Graduation by: Eduardo Marques

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems