Login
Research

Intelligent Systems

Intelligent Systems

Information Team Publications Projects Graduations Prototypes Seminars

CoLogNet – European Network of Excellence in Computational Logic

Concluded

01/01/2001 - 01/06/2005

Team

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

An architecture for mental agents

MENTAL Concluded

01/03/1997 - 01/02/2000

Team

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

Reasoning on the Web with Rules and Semantics

REWERSE Concluded

01/03/2004 - 01/03/2008

Team

José Júlio Alferes, Luís Moniz Pereira, Pedro Barahona, Carlos Viegas Damásio, Ludwig Krippahl, Ricardo Amador,

Network of Excellence in Computational Logic

CompulogNet Concluded

01/07/1996 - 01/01/2000

Team

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

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,

Probabilistic Reasoning for Constraints in Science and Engineering

PRECISE Concluded

01/04/2005 - 01/03/2008

Team

Pedro Barahona, Jorge Cruz,

Autonomic Agents with Self-Managing Capabilities for Dynamic Scheduling Support in a Cooperative Manufacturing System

AutoDynAgents Concluded

16/02/2007 - 30/11/2010

Team

Luís Moniz Pereira, Ana Maria Dias Madureira Pereira,

FLUX – Flexible Logic Updates

Concluded

01/01/2002 - 01/09/2005

Team

João Leite,

Parallel and Distributed Computational Models for Scientific Applications on Cell Processor Clusters

IBM-SUR Concluded

01/01/2007 - 01/01/2012

Team

Luís Moniz Pereira, Pedro Barahona, Carlos Viegas Damásio, Francisco Azevedo, Susana Nascimento, Armando Fernandes, Irene Rodrigues, Salvador Abreu,

RESEARCH GROUP Software Systems

RESEARCH GROUP Intelligent Systems

RESEARCH GROUP Multimodal Systems

RESEARCH GROUP Computer Systems