CENTRIA – Centro de Inteligência Artificial

Research output

Research output per year 1989 2009 2010 2011 2012 2013 2014 2016

• 251 Conference contribution
• 93 Article
• 25 Chapter
• 21 Book
• 40 More
  • 11 Other contribution
  • 10 Conference article
  • 6 Book/Film/Article review
  • 5 Editorial
  • 4 Paper
  • 1 Commissioned report
  • 1 Other chapter contribution
  • 1 Abstract
  • 1 Review article

Research output per year

Research output per year

Search results

• 2016

  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 › peer-review

  Open Access

  File

  • proteins 100%
  • Simulation 79%
  • interactions 49%
  • mutagenesis 46%
  • Proteins 46%
  7 Citations (Scopus)

  34 Downloads (Pure)
• 2015

  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 › peer-review

  • Cope Reaction 100%
  • Social Justice 96%
  • Compensation and Redress 58%
  • Costs 29%
  • Costs and Cost Analysis 23%
  59 Citations (Scopus)

• What is a Proof?

  Kahle, R., Mar 2015, In: Axiomathes. 25, 1(SI), p. 79-91 13 p.

  Research output: Contribution to journal › Article › peer-review

  • Community 100%
  • Theorem 39%
  3 Citations (Scopus)
• 2014

  Contextual Abductive Reasoning with Side-Effects

  Pereira, L. M., Dietz, E-A. & Hoelldobler, S., Jul 2014, In: Theory and Practice of Logic Programming. 14, SI, p. 633-648 16 p.

  Research output: Contribution to journal › Article › peer-review

  • Reasoning 100%
  • Beliefs 75%
  • Semantics 71%
  • Abduction 52%
  • Observation 45%
  15 Citations (Scopus)

• Convergence analysis and adaptive strategy for the certified quadrature over a set defined by inequalities

  Goldsztejn, A., Cruz, J. C. F. R. D. & Carvalho, E., 1 Feb 2014, In: Journal of Computational and Applied Mathematics. 260, p. 543-560

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Adaptive Strategies 100%
  • Quadrature 72%
  • Convergence Analysis 67%
  • Adaptive Meshing 43%
  • Quadrature Method 30%
  4 Citations (Scopus)

• On Strong and Default Negation in Answer-Set Program Update

  Slota, M., Balaz, M. & Leite, J. A. C. P., 2014, In: Theory and Practice of Logic Programming, Online Supplement. 14, p. 12

  Research output: Contribution to journal › Article › peer-review

  • semantics 100%
  • citizen 25%
  • interaction 19%
  1 Citation (Scopus)

• The rise and fall of semantic rule updates based on SE-models

  Slota, M. & Leite, J. A. C. P., Nov 2014, In: Theory and Practice of Logic Programming. 14, 6, p. 869-907

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Update 100%
  • Semantics 87%
  • Logic Programs 51%
  • Rule Base 47%
  • Syntactics 45%
  29 Citations (Scopus)

• What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems

  Knorr, M., Slota, M., Leite, J. A. C. P. & Homola, M., Dec 2014, In: Journal Of Logic And Computation. 24, 6(SI), p. 1279-1311

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Context 100%
  • Language 49%
  • Description Logics 38%
  • Knowledge Base 35%
  • Knowledge 20%
  10 Citations (Scopus)

• Why-provenance information for RDF, rules, and negation

  Analyti, A., Damásio, C. V., Antoniou, G. & Pachoulakis, I., Mar 2014, In: Annals of Mathematics and Artificial Intelligence. 70, 3, p. 221-277 57 p.

  Research output: Contribution to journal › Article › peer-review

  • Provenance 100%
  • Ontology 81%
  • Stable Models 21%
  • Information Quality 16%
  • Accountability 15%
  3 Citations (Scopus)
• 2013

  Abstract Valuation Semantics

  Caleiro, C. & Goncalves, R., Aug 2013, In: Studia Logica. 101, 4, p. 677-712 36 p.

  Research output: Contribution to journal › Article › peer-review

  • Valuation 100%
  • Semantics 85%
  • Logic 57%
  • Behavioral Approach 50%
  • Context 20%
  2 Citations (Scopus)

• A framework for modular ERDF ontologies

  Analyti, A., Antoniou, G., Damásio, C. V. & Pachoulakis, I., Mar 2013, In: Annals of Mathematics and Artificial Intelligence. 67, 3-4, p. 189-249 61 p.

  Research output: Contribution to journal › Article › peer-review

  • Ontology 100%
  • Semantics 50%
  • Framework 42%
  • Stable Models 25%
  • Encapsulation 16%
  5 Citations (Scopus)

• Applicative theories for the polynomial hierarchy of time and its levels

  Kahle, R. & Kahle, I. M. O. F. D. R., 1 Jan 2013, In: Annals Of Pure And Applied Logic. 164, SI6, p. 663-675

  Research output: Contribution to journal › Article › peer-review

  Open Access
  3 Citations (Scopus)

• Context-dependent incremental decision making scrutinizing the intentions of others via Bayesian network model construction

  Han, T. A. & Pereira, L. M., 4 Dec 2013, In: Intelligent Decision Technologies. 7, 4, p. 293-317 25 p.

  Research output: Contribution to journal › Article › peer-review

  • Bayesian Networks 100%
  • Network Model 76%
  • Bayesian Model 74%
  • Bayesian networks 67%
  • Corpus 66%
  5 Citations (Scopus)

• Epistemic entrenchment-based multiple contractions

  Ferme, E. & Reis, M. D. L., Sept 2013, In: Review Of Symbolic Logic. 6, 3, p. 460-487 28 p.

  Research output: Contribution to journal › Article › peer-review

  • Entrenchment 100%
  • Contraction 81%
  • Class 15%
  • Axiomatics 14%
  • Characterization 10%
  4 Citations (Scopus)

• Equivalence of defeasible normative systems

  Alferes, J. J., Gonçalves, R. & Leite, J., 1 Jun 2013, In: Journal Of Applied Non-Classical Logics. 23, 1-2, p. 25-48 24 p.

  Research output: Contribution to journal › Article › peer-review

  • Deontic Logic 100%
  • Equivalence 76%
  • Deontic 47%
  • Logic 46%
  • Logic Programs 45%
  4 Citations (Scopus)

• Extending Transaction Logic with External Actions

  Alferes, J. J. A., 1 Jan 2013, In: Theory and Practice of Logic Programming. 13, 4-5-Online-Supplement, p. 1-15

  Research output: Contribution to journal › Article › peer-review

• Generation of classification trees from variable weighted features

  Krippahl, L. & Barahona, P. M. C. C. D., 1 Jan 2013, In: Natural Computing. NA, NA, p. 1-9

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Good Agreements Make Good Friends

  Han, T. A., Pereira, L. M., Santos, F. C. & Lenaerts, T., 18 Sept 2013, In: Scientific Reports. 3, 7 p., 2695.

  Research output: Contribution to journal › Article › peer-review

  • Compensation and Redress 100%
  • Punishment 93%
  • Cost Sharing 55%
  • Genetic Selection 47%
  • Costs and Cost Analysis 45%
  66 Citations (Scopus)

• Probabilistic constraints for nonlinear inverse problems

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2013, In: Constraints. 18, 3, p. 344-376

  Research output: Contribution to journal › Article › peer-review

  Open Access
  5 Citations (Scopus)

• Query-driven procedures for Hybrid MKNF knowledge bases

  Alferes, J. J., Knorr, M. & Swift, T., Jun 2013, In: Acm Transactions On Computational Logic. 14, 2, 16.

  Research output: Contribution to journal › Article › peer-review

  • Negation as Failure 100%
  • Knowledge Base 80%
  • Query 61%
  • Well-founded Semantics 52%
  • Knowledge 47%
  22 Citations (Scopus)

• State-of-the-art of intention recognition and its use in decision making

  The Anh Han & Pereira, L. M., 2013, In: Ai Communications. 26, 2, p. 237-246 10 p.

  Research output: Contribution to journal › Article › peer-review

  • Bayesian networks 100%
  • Decision making 70%
  • Logic programming 38%
  50 Citations (Scopus)

• View-based propagation of decomposable constraints

  Barahona, P. M. C. C. D., 1 Jan 2013, In: Constraints. 18, 4, p. 579-608

  Research output: Contribution to journal › Article › peer-review

  Open Access
  1 Citation (Scopus)
• 2012

  Additive Spectral Method for Fuzzy Cluster Analysis of Similarity Data Including Community Structure and Affinity Matrices

  Almeida, S. M. D. S. N. M. D., 1 Jan 2012, In: Information Sciences. 183, 1, p. 16-34

  Research output: Contribution to journal › Article › peer-review

  Open Access
  39 Citations (Scopus)

• Automated computational delimitation of SST upwelling areas using fuzzy clustering

  Almeida, S. M. D. S. N. M. D., 1 Jan 2012, In: COMPUTERS & GEOSCIENCES. 43, NA, p. 207-216

  Research output: Contribution to journal › Article › peer-review

  Open Access
  30 Citations (Scopus)

• Book review of "Computational Logic and Human Thinking: How to be Artificially Intelligent", by Robert Kowalski

  Pereira, L. M. S. M., 1 Jan 2012, In: Ai Communications. 25, 4, p. 361-364

  Research output: Contribution to journal › Article › peer-review

• Corpus-based intention recognition in cooperation dilemmas

  Han, T. A., Pereira, L. M. & Santos, F. C., 2012, In: Artificial Life. 18, 4, p. 365-383 19 p.

  Research output: Contribution to journal › Article › peer-review

  • game theory 100%
  • Game theory 72%
  • cooperatives 66%
  • social behavior 64%
  • natural selection 61%
  37 Citations (Scopus)

• Performance and applicability of bio-optical algorithms in different European seas

  D'alimonte, D. & Kajiyama, T., 1 Jan 2012, In: Remote Sensing Of Environment. 124, NA, p. 402-412

  Research output: Contribution to journal › Article › peer-review

  Open Access
  32 Citations (Scopus)

• Turing is among us

  Pereira, L. M. S. M., 1 Jan 2012, In: Journal Of Logic And Computation. 22, 6, p. 1257-1277

  Research output: Contribution to journal › Article › peer-review

  Open Access
  7 Citations (Scopus)

• Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions

  Wheeler, G. R. & Barahona, P. M. C. C. D., 1 Jan 2012, In: Journal Of Philosophical Logic. 41, 2, p. 493-503

  Research output: Contribution to journal › Article › peer-review

  Open Access
  5 Citations (Scopus)
• 2011

  A Computational Logic Application Framework for Service Discovery and Contracting

  Alberti, M., 1 Jan 2011, In: International Journal Of Web Services Research. 8, 3, p. 1-25

  Research output: Contribution to journal › Article › peer-review

  Open Access
  8 Citations (Scopus)

• Automatic Identification of Oceanic Eddies in Infrared Satellite Images

  Almeida, S. M. D. S. N. M. D., 1 Jan 2011, In: COMPUTERS & GEOSCIENCES. 37, 11, p. 1783–1792

  Research output: Contribution to journal › Article › peer-review

  Open Access
  5 Citations (Scopus)

• Cross-site consistent in situ measurements for satellite ocean color applications: the BiOMaP radiometric dataset

  D'alimonte, D., 1 Jan 2011, In: Remote Sensing Of Environment. 115, 8, p. 2104-2115

  Research output: Contribution to journal › Article › peer-review

  Open Access
  66 Citations (Scopus)

• Evidence for a purifying selection acting on the -lactamase locus in epidemic clones of methicillin-resistant Staphylococcus aureus

  Milheiriço, C., Portelinha, A., Krippahl, L., De Lencastre, H. & Oliveira, D. C., 2011, In: BMC Microbiology. 11, p. 76-87 76.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Methicillin-Resistant Staphylococcus aureus 100%
  • Epidemics 84%
  • Clone Cells 77%
  • Lactams 69%
  • Single Nucleotide Polymorphism 41%
  23 Citations (Scopus)

• Learning specifications of interaction protocols and business processes and proving their properties

  Alberti, M., 1 Jan 2011, In: Intelligenza Artificiale. 5, 1, p. 71-75

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Local closed world reasoning with description logics under the well-founded semantics

  Knorr, M., Alferes, J. J. & Hitzler, P., 1 Jun 2011, In: Artificial Intelligence. 175, 9-10, p. 1528-1554 27 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Description Logics 100%
  • logic 78%
  • semantics 56%
  • Semantics 47%
  • Ontology 44%
  102 Citations (Scopus)

  22 Downloads (Pure)

• Multi-sensor satellite time series of optical properties and chlorophyll-a concentration in the Adriatic Sea

  D'alimonte, D., 1 Jan 2011, In: Progress In Oceanography. 91, 3, p. 229-244

  Research output: Contribution to journal › Article › peer-review

  Open Access
  91 Citations (Scopus)

• MWeb: A principled framework for modular web rule bases and its semantics

  Damásio, C. A. I. P. V., 1 Jan 2011, In: Acm Transactions On Computational Logic. 12, 2, p. Article \#17, 41 pages

  Research output: Contribution to journal › Article › peer-review

  Open Access
  16 Citations (Scopus)

• NO Revision and NO Contraction

  Alberti, M., 1 Jan 2011, In: Minds And Machines. 21, NA, p. 411-430

  Research output: Contribution to journal › Article › peer-review

  Open Access
  9 Citations (Scopus)

• Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation

  Alberti, M. & Pereira, L. M. S. M., 1 Jan 2011, In: Annals of Mathematics and Artificial Intelligence. 62, 3-4, p. 161-186

  Research output: Contribution to journal › Article › peer-review

  Open Access
  2 Citations (Scopus)

• Preface to the special issue on computational logics in multi-agent systems

  Leite, J. A. C. P., Jun 2011, In: Annals of Mathematics and Artificial Intelligence. 62, 1-2, p. 1-5 5 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Multi-agent Systems 100%
  • Multi agent systems 70%
  • Logic 58%

• Splitting and updating hybrid knowledge bases

  Leite, J. A. C. P., 1 Jan 2011, In: Theory and Practice of Logic Programming. 11, 4-5, p. 801-819

  Research output: Contribution to journal › Article › peer-review

  17 Citations (Scopus)

• The universal set and diagonalization in frege structures

  Kahle, R., 1 Jan 2011, In: Review Of Symbolic Logic. 4, 2, p. 205-218

  Research output: Contribution to journal › Article › peer-review

  Open Access
  2 Citations (Scopus)
• 2010

  Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

  Alberti, M., 1 Jan 2010, In: Fundamenta Informaticae. 102, 3-4, p. 325-361

  Research output: Contribution to journal › Article › peer-review

  Open Access
  26 Citations (Scopus)

• Actual causation: A stone soup essay

  Teng, C. M., 1 Jan 2010, In: Synthese. 175, 2, p. 169-192

  Research output: Contribution to journal › Article › peer-review

  Open Access
  64 Citations (Scopus)

• Adaptive contact networks change effective disease infectiousness and dynamics

  van Segbroeck, S., Santos, F. C. & Pacheco, J. M., 19 Aug 2010, In: PLoS Computational Biology. 6, 8, 10 p., e1000895.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Contact 100%
  • health status 51%
  • Time-average 31%
  • disease progression 30%
  • Population 29%
  58 Citations (Scopus)

• A Time and Space Framework for Overhead Grid Maintenance Optimisation

  Azevedo, F. D. M. E. C. A. D., 1 Jan 2010, In: Modern Energy Review. 2, 1, p. 95-99

  Research output: Contribution to journal › Article › peer-review

• Building Fuzzy Thematic Clusters and Mapping Them to Higher Ranks in a Taxonomy

  Almeida, S. M. D. S. N. M. D., 1 Jan 2010, In: International Journal of Software and Informatics. 4, 3, p. 257-275

  Research output: Contribution to journal › Article › peer-review

• GRASPER: constraint reasoning with graphs

  Azevedo, F. D. M. E. C. A. D., 1 Jan 2010, In: International Journal of Reasoning-based Intelligent Systems. 2, 1, p. 73-92

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Learning to coordinate in complex networks

  van Segbroeck, S., de Jong, S., Nowé, A., Santos, F. C. & Lenaerts, T., Oct 2010, In: Adaptive Behavior. 18, 5, p. 416-427 12 p.

  Research output: Contribution to journal › Article › peer-review

  • Complex Networks 100%
  • Complex networks 88%
  • Learning 63%
  • Cluster Analysis 39%
  • interaction pattern 31%
  29 Citations (Scopus)

• Modelling decision making with probabilistic causation

  Pereira, L. M. & Ramli, C. K., 2010, In: Intelligent Decision Technologies. 4, 2, p. 133-148 16 p.

  Research output: Contribution to journal › Article › peer-review

  • Causation 100%
  • Logic Programming 90%
  • Logic programming 76%
  • Decision Making 65%
  • Human 58%
  4 Citations (Scopus)