Fingerprint Dive into the research topics where DI - Departamento de Informática is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Logic programming Engineering & Materials Science
Semantics Engineering & Materials Science
Software engineering Engineering & Materials Science
Spreadsheets Engineering & Materials Science
Ontology Engineering & Materials Science
Logic Programs Mathematics
Mobile devices Engineering & Materials Science
Logic Programming Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1986 2019

An annotated repository for MATLAB code

Relvas, A., Marques, N. C., Monteiro, M. P. & Carneiro, G., 11 Jul 2019, Proceedings - SEKE 2019: 31st International Conference on Software Engineering and Knowledge Engineering. Knowledge Systems Institute Graduate School, p. 497-502 6 p. (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE; vol. 2019-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
MATLAB
Data mining
Seed
Visualization

A Syntactic Operator for Forgetting that Satisfies Strong Persistence

Berthold, M., Gonçalves, R., Knorr, M. & Leite, J., 1 Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 1038-1055 18 p.

Research output: Contribution to journalArticle

Open Access
Syntactics
Persistence
Concretes
Operator
Answer Set Programming

Between Tradition and Innovation: Giving Light to a Visionary Text in the Lorvão Beatus

Melo, M. J., Miranda, M. A., Castro, R., Lopes, J. & Sarraguça, J. M. G., 2019, Manuscripts in the Making: Art and Science. Panayotova, S. & Ricciardi, P. (eds.). Brepols Publishers

Research output: Chapter in Book/Report/Conference proceedingChapter

Prizes

Best Paper Award at CAISE 2014

Miguel Carlos Pacheco Afonso Goulão (Recipient), Jun 2014

Prize: Prize (including medals and awards)

Activities 1998 2018

Third International Workshop on Human Factors in Modeling (HuFaMo’18)

Silvia Abrahão (Organiser), Miguel Carlos Pacheco Afonso Goulão (Organiser), Patrick Heymans (Organiser), Xavier Le Pallec (Organiser), Emmanuel Renaux (Organiser)
15 Oct 2018

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018)

Antonia Bertolino (Chair), Vasco Amaral (Chair), Paulo Rupino da Cunha (Chair), Marco Vieira (Invited speaker)
4 Sep 20187 Sep 2018

Activity: Participating in or organising an eventParticipation in conference

Journal Of Logic And Computation (Journal)

João Alexandre Carvalho Pinheiro Leite (Editorial board member)
20 Apr 2018

Activity: Publication peer-review and editorial workEditorial activity