Login
Research

Intelligent Systems

Intelligent Systems

Information Team Publications Projects Graduations Prototypes Seminars

FORGET – Efficiently Forgetting What Needs to be Forgotten

Concluded

01/10/2018 - 30/09/2021

Team

João Leite, Matthias Knorr, Ricardo Gonçalves, João Leitão, Carla Ferreira, Carlos Viegas Damásio, José Júlio Alferes, Nuno Preguiça,

Constrained Refining of Multiple Alignments to identify correlations between mutations

CREMA Concluded

01/04/2011 - 01/04/2013

Team

Ludwig Krippahl,

Incentives for safety agreement compliance in AI Race

FLI AI race Concluded

01/09/2018 - 31/08/2020

Team

Luís Moniz Pereira, Han The Anh, Tom Lenaerts,

ReDIK: Reasoning with Dynamic Inconsistent Knowledge

Concluded

01/04/2011 - 01/03/2013

Team

João Leite, Matthias Knorr, Martin Slota, Alfredo Gabaldon,

MIning MUlti-source and MUlti-modal geo-referenced information

MIMU Concluded

01/10/2018 - 30/09/2021

Team

João Moura Pires,

ASPEN – Answer Set Programming with BoolEaN Satisfiability

Concluded

01/03/2011 - 01/02/2014

Team

João Leite, José Júlio Alferes, Martin Slota,

ABSOLV – Abstraction for large scale problem solving

Concluded

01/07/2018 - 30/06/2021

Team

João Leite, Matthias Knorr, José Júlio Alferes,

ERRO – Efficient Reasoning with Rules and Ontologies

Concluded

01/03/2012 - 31/08/2015

Team

João Leite, José Júlio Alferes, Carlos Viegas Damásio, Matthias Knorr, Theresa Swift, Sofia Gomes, Vadim Ivanov, Ricardo Gonçalves, Martin Slota, Pascal Hitzler,

FitoAgro – Monitorização e estudo do ciclo de vida de inimigos emergentes de Pomóideas da região Oeste de Portugal

FitoAgro Concluded

01/01/2018 - 30/06/2022

Team

Carlos Viegas Damásio, Armanda Rodrigues, João Moura Pires,

AlgoriThms and Tools for reasoning about dEpendable SysTems

ATTEST Concluded

01/10/2010 - 01/09/2012

Team

Pedro Barahona, Francisco Azevedo, Marco Correia,

BRaNT – Belief Revision applied to Neurorehabilitation Therapy

BRaNT Concluded

01/10/2018 - 30/09/2021

Team

Eduardo Fermé, Mónica Cameirão, Sergi Bermúdez i Badia,

SINTELNET – European Network for Social Intelligence

Concluded

01/01/2011 - 01/01/2014

Team

João Leite,

International M.Sc. Program in Computational Logic

Concluded

01/09/2004 - 01/09/2009

Team

Luís Moniz Pereira, João Leite, José Júlio Alferes,

Reasoning in Logic Programming

REAP Concluded

01/10/1996 - 01/01/2000

Team

Luís Moniz Pereira,

Computational Logic as a Foundation for Computer Science and Intelligent Systems

Concluded

01/09/2004 - 01/09/2007

Team

José Júlio Alferes, Luís Moniz Pereira,

Reseau Programation Logique, Contraintes, Langue Naturelle

RELING Concluded

01/01/1995 - 01/01/1999

Team

Luís Moniz Pereira, Pierre Deransart,

Knowledge Representation with Negative Information

KRENI Concluded

01/01/2006 - 01/01/2008

Team

José Júlio Alferes, Luís Moniz Pereira,

ACções e RaciocíniO em ProgramaçãO em Lógica Estendida

ACROPOLE Concluded

01/01/1994 - 01/01/1999

Team

João Leite, José Júlio Alferes, Luís Moniz Pereira, Carlos Viegas Damásio, Vitor Nogueira,

Processing and Reuse of Advanced Computational Techniques to Improve Constraint Solving

PRACTIC Concluded

01/01/2005 - 01/12/2007

Team

Pedro Barahona, Francisco Azevedo, Marco Correia, Ruben Viegas,

Computational Approach to Ontology Profiling of Scientific Research Organisations

COPSRO Concluded

01/01/2008 - 31/07/2011

Team

Susana Nascimento, Luís Moniz Pereira, Boris Mirkin, Fernando Jorge Duarte,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems