|Head:||Luís Paulo Reis|
|Description:||LIACC- Artificial Intelligence and Computer Science Lab, stated in 1988 at the University of Porto with three different groups coming from the Faculties of Science, Engineering and Economics.
Along all this period of time, LIACC has been successively changing its geometry, giving birth to other more specific groups and, in 2015, it includes 23 integrated members plus 30 PhD students grouped into three clusters.
LIACC members Graph
LIACC management is done according to FCT (Portuguese Agency for Science) multiannual Science Funding rules, through a Coordinating Board, a Director, a Scientific Board and an External Advisory Board.
LIACC general objectives for 2015-2020 are three-fold:
1) To contribute to the research on:
a) Distributed and decentralized software systems and tools;
b) Text mining and Information extraction;
c) Human-machine intelligent cooperation;
d) Declarative software programming enabling safer systems.
2) To implement proof-of-concept software and systems leading to possible prototypes and future real applications.
3) To supervise research work leading to PhD and MSc theses on the aforementioned topics.
Following these lines, LIACC aims at producing both software algorithms and prototype systems backed by relevant publications, while also assisting young researchers in developing their theses. In order to fulfill the aforementioned general objectives, LIACC research will be centered in the core activities of the unit, adjusted to the new challenges of a rapidly evolving society, of the technological development, of the proliferation of networked devices, of a world where we all simultaneously are information producers and consumers. Intelligent decision-making for individual agents but also in networks and teams, in distributed environments, including artificial (agents, robots) and humans is a major aim of the unit. We also advocate the need for more theoretical efforts on developing methods, mostly declarative-type of programming based, for better matching software models and architectures. In order to better implement the strategic programme, LIACC is organized in three research groups:
CS group includes 5 integrated members. Its main general aim is software and information processing reliability with emphasis on fundamental research, ranging through computational complexity, automata and formal languages, algorithms, programming languages, semantics, and formal verification.
HMIC includes 7 integrated members. The group is primarily concerned on creating methodologies that enable machines and software systems to think and interact like humans and have social capabilities similar to humans enabling them to be members of heterogeneous human/machine teams.