13 DEZEMBRO / QUARTA FEIRA / 11:06
FCUP PT 
 EN
 
 
APRESENTAÇÃO
PESSOAS
ENSINO
INVESTIGAÇÃO
BIBLIOTECA
NOTÍCIAS
CONTACTOS
Áreas de Investigação
LIACC
Projectos
Publicações
Alunos de Doutoramento
Teses de Doutoramento
Teses de Mestrado
Relatórios Técnicos

Áreas de Investigação

Areas and topics:

  • Declarative Programming:
    sequential and parallel logic programming systems, tabling, sequential and parallel inductive logic programming systems, deductive databases, data-mining.
  • Information and Communication Networks:
    adhoc and sensor networks, quality of service, secure network communications.
  • Innovative applications:
    competitive learning environments, contest management systems, integrated environments for XML development, automatic generation of maths drills, geo-referenced data processing.
  • Logic, Language and Computation:
    complexity theory, formal systems, symbolic constraints and type-logic grammars, logics for multi-agents systems, combinatorics and algorithmic graph theory.
  • Modelling of Cognitive-Behavioural Systems:
    knowledge representation for intelligent distributed systems, modelling of cognitive and behavioural systems.
  • Optimization, Constraints and Heuristics:
    guard location problems, assignment and matching problems, heuristics for practical production planning, meta-heuristics for general MIPs, meta-heuristics for semi-automated timetabling.
  • Parallel and Distributed Systems:
    concurrency, distribution and mobility, parallel programming environments, peer-to-peer systems, scheduling and meta-scheduling for the grid.
FCUP 2017