CENTRIA – Centro de Inteligência Artificial

Organization profile

Profile Information

Former organisational unit. 31/12/14. Taken over by NOVALincs

Fingerprint Dive into the research topics where CENTRIA – Centro de Inteligência Artificial 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
Logic Programs Mathematics
Logic Programming Mathematics
Ontology Engineering & Materials Science
Semantic Web Engineering & Materials Science
Reasoning Mathematics
Multi agent systems Engineering & Materials Science

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

Profiles

No photo of Alfredo Gabaldon Royval

Alfredo Gabaldon Royval

Person: Academic

20082013
No photo of Carlos Augusto Isaac Piló Viegas Damásio

Carlos Augusto Isaac Piló Viegas Damásio

Person: Academic

19932017
No photo of Choh Man Teng

Choh Man Teng

Person: Academic

20102011

Research Output 1991 2016

4 Citations (Scopus)
3 Downloads (Pure)

Predicting protein-protein interactions using BiGGER: Case studies

Almeida, R. M. L. R. D., Dell'Acqua, S., Krippahl, L., Moura, J. J. G. & Pauleta, S. R., 1 Aug 2016, In : Molecules. 21, 8, 1037.

Research output: Contribution to journal › Article

Open Access
File
Proteins
Mutagenesis
Electron tunneling
Chemical shift
Nuclear magnetic resonance

Allowing cyclic dependencies in modular logic programming

Damásio, C. V. & João, M., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer-Verlag, Vol. 9273. p. 363-375 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9273).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Logic programming
Logic Programming
Module
Computer programming
Semantics
30 Citations (Scopus)

Avoiding or restricting defectors in public goods games?

Han, T. A., Pereira, L. M. & Lenaerts, T., 6 Feb 2015, In : Journal Of The Royal Society Interface. 12, 103, 20141203.

Research output: Contribution to journal › Article

Social Justice
Compensation and Redress
Costs and Cost Analysis
Costs

Activities 2002 2014

  • 5 Editorial activity
  • 1 Types of Award - Election to learned society

Corresponding Member

Reinhard Kahle (Recipient)
2014 → 2015

Activity: Other › Types of Award - Election to learned society

Annals Of Mathematics And Artificial Intelligence (Journal)

João Alexandre Carvalho Pinheiro Leite (Editor)
1 Jan 2011

Activity: Publication peer-review and editorial work › Editorial activity

Journal Of Applied Logic (Journal)

João Alexandre Carvalho Pinheiro Leite (Editor)
1 Jan 2007

Activity: Publication peer-review and editorial work › Editorial activity