- Clustering of fetal heart rate records: a new technique based on Algorithmic Information Theory for the automatic classification of the fetal heart rate records important in detecting abnormal situations where the life of the fetuses may be at risk; the technique correctly clustered together and detected all the abnormal or suspicious tracings in an experiment with 31 fetuses.
- E-Business: a prototype of Agent-based software platform for Virtual Enterprises life cycle, with support for Adaptive Negotiation protocol, Ontology-based services and preliminary Electronic Contracting. Software broker for the insurance domain using the same negotiation protocol.
- Portuguese hiring laws for teachers: design of a new algorithms for matching problems with priorities, preferences and tenants. Research was triggered by flaws detected in the Portuguese hiring law for state-school teachers. Results sent to the Government were taken in a new law.
- Robot-Soccer: agent-based common framework suitable for controlling teams of cooperative robots for Robosoccer (with IEETA); competitions: Simulation League 3D (World Champion 2006; European Champion 2006); Simulation League 2D ( 2nd, European contest 2006); Coach Competition (2nd, World contest 2003, 2nd, 2004); Rescue Simulation League (European Champion 2006).
- Type inhabitation: complete formal definition of the Formula-Tree Proof Method for investigating type inhabitation together with a proof of correctness. This method is a valuable tool for research in the area, and fostered a large amount of new results.
- Agents and Emotions: an architecture for Emotion-like based Agents. Simulation of a practical application in firefighting and a new logic formalism for specifying simultaneously guided E_BDI Agents by Beliefs, Desires, Intentions plus Emotion-like mechanisms.
- Logic Programming: Yap kept as a state-of-the-art Prolog implementation with support for constraints, tabling, parallelism, external databases, and spatial databases.
- Reversible computations: a language whose programs characterizes a fundamental and powerful set of reversible transformations on integer tuples. This is similar to the characterization of primitive recursive functions by a simple programming language.
- Agents and Learning: identification of circumstances under which Multi-Agent Systems joint learning through advice is effective.
- Counting Finite Automata: unique string representation for complete ICD finite automata, shown to be adequate for exact/uniform random generation, providing an alternative way of counting and an optimal coding. Exact/approximate values for the number of regular languages and density of minimal automata were obtained with an impact in average-case complexity studies.
- Prize: The work on Computational Expressivity of Linear Calculi by Sandra Alves was awarded a Gulbenkian Research Stimulus Prize 2005.
- Agents at work in the real world: MAS for a real application on Operations control recovery for crew and plane scheduling.