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

• 2015

  Dialoge als Semantik

  Translated title of the contribution: Dialogs as semanticsKahle, R., 2015, Dialogische Logik. Mittelstraß, J. & von Bülow, C. (eds.). Münster: Mentis, p. 43 54 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

• Gentzen’s consistency proof in context

  Kahle, R., 1 Jan 2015, Gentzen's Centenary: The Quest for Consistency. Kahle, R. & Rathjen, M. (eds.). Springer International Publishing, p. 3-24 22 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Peano Arithmetic 100%
  • Proof Theory 94%
  • Proof by induction 74%
  • Context 46%
  4 Citations (Scopus)
• 2014

  Evolutionary tolerance

  Pereira, L. M., 2014, Research Topics in Wind Energy. Magnani, L. & Li, P. (eds.). Berlin, Heidelberg: Springer International Publishing, p. 263-287 25 p. (Research Topics in Wind Energy; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Game theory 100%
  • Artificial intelligence 39%
  • Communication 22%

• Using GPS logs to identify agronomical activities

  Rodrigues, A., Damásio, C. & Cunha, J. E., Jan 2014, Connecting a Digital Europe Through Location and Place. Huerta, J., Schade, S. & Granell, C. (eds.). Cham: Springer International Publishing, Vol. 2. p. 105-121 17 p. (Lecture Notes in Geoinformation and Cartography).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
  6 Citations (Scopus)
• 2013

  Checking proofs

  Alama, J. & Kahle, R., 1 Jan 2013, The Argument of Mathematics. Springer Netherlands, p. 147-170 24 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Argumentation Theory 100%
  • Formal Logic 47%
  • Mathematics 32%
  • Automated Reasoning 28%
  • Formalization 20%
  4 Citations (Scopus)

• Inspecting and preferring abductive models

  Pereira, L. M., Dell’ Acqua, P., Pinto, A. M. & Lopes, G., 1 Jan 2013, The Handbook on Reasoning-Based Intelligent Systems. World Scientific Publishing Co, p. 243-274 32 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Decision theory 100%
  • Decision making 60%
  • Economics 53%
  11 Citations (Scopus)

• Intention-based decision making via intention recognition and its applications

  Han, T. A. & Pereira, L. M., 1 Dec 2013, Human Behavior Recognition Technologies: Intelligent Applications for Monitoring and Security. IGI Global, p. 174-211 38 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Decision making 100%
  • Ambient intelligence 92%
  • Logic programming 81%
  • Game theory 75%
  7 Citations (Scopus)

• The added value of argumentation

  Leite, J. A. C. P., 1 Jan 2013, Agreement Technologies. Ossowski, S. (ed.). Netherlands: Springer, Vol. 8. p. 357-403 (Law, Governance and Technology Series; no. 8).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2012

  Evolutionary Psychology and the Unity of Sciences - Towards an Evolutionary Epistemology

  Pereira, L. M. S. M., 1 Jan 2012, Special Sciences and the Unity of Science. Pombo, O., Torres, J. M., Symons, J. & Rahman, S. (eds.). Berlin: Springer, p. 163-175 (Series on Logic, Epistemology, and the Unity of Science; no. 24).

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

  2 Citations (Scopus)

• Evolutionary tolerance

  Pereira, L. M., 1 Jan 2012, Studies in Applied Philosophy, Epistemology and Rational Ethics. Springer International Publishing, p. 263-287 25 p. (Studies in Applied Philosophy, Epistemology and Rational Ethics; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Evolutionary Game Theory 100%
  • Tolerance 99%
  • Evolutionary 81%
  • Cognitive Ability 76%
  • Intolerance 73%
  7 Citations (Scopus)

• Evolutionary Tolerance

  Pereira, L. M. S. M., 1 Jan 2012, Philosophy and Cognitive Science - Western & Eastern Studies. Magnani, L. & Ping, L. (eds.). Berlin: Springer, p. 263-287 (Studies in Applied Philosophy, Epistemology and Rational Ethics - SAPERE; no. 2).

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

• Method for Intelligent Representation of Research Activities of an Organization over a Taxonomy of its Field

  Almeida, S. M. D. S. N. M. D. & Pereira, L. M. S. M., 1 Jan 2012, Advances in Reasoning-Based Image Processing Intelligent Systems: Conventional and Intelligent Paradigms. Kountchev, R. & Nakamatsu, K. (eds.). 1st ed. Berlin Heidelberg: Springer, p. 423-454 (Series on Intelligent Systems Reference Library).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2011

  Bioinformatics: A Challenge to Constraint Programming

  Krippahl, L. & Barahona, P. M. C. C. D., 1 Jan 2011, Hybrid Optimization. Milano, M. & Hentenryck, PV. (eds.). New York: Springer, p. 463-85 (Springer Optimization and its Applications).

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

  Open Access
  5 Citations (Scopus)

• Conditional learning of rules and plans by knowledge exchange in logical agents

  Costantini, S., Dell'Acqua, P. & Pereira, L. M., 2011, Conceptual Structures for Discovering Knowledge - 19th International Conference on Conceptual Structures, ICCS 2011, Proceedings. Springer Verlag, p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6828).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Learning 100%
  • Knowledge 84%
  • Formalization 39%
  • Human 32%
  5 Citations (Scopus)

• Data, data, everywhere: Statistical issues in data mining

  Teng, C. M., 1 Jan 2011, Handbook of the Philosophy of Science. Bandyopadhyay, P. S. & Malcolm, R. (eds.). UK: Elsevier, Vol. 7. p. 1099-1120 (Philosophy of Statistics).

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

  2 Citations (Scopus)

• Inspecting side-effects of abduction in logic programs

  Moniz Pereira, L. & Pinto, A. M., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Balduccini, M. & Cao Son, T. (eds.). Berlin: Springer Verlag, p. 148-163 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6565 LNAI).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Abduction 100%
  • Logic Programs 78%
  • Inspection 73%
  • False 22%
  • Query 22%
  6 Citations (Scopus)

• Intention Recognition with Evolution Prospection and Causal Bayesian Networks

  Pereira, L. M. & Anh, H. T., 1 Jan 2011, Computational Intelligence for Engineering Systems 3: Emergent Applications. Madureira, A., Ferreira, J. & Vale, Z. (eds.). 1st ed. Dordrecht: Springer, Vol. 46. p. 1-33 33 p. (Intelligent Systems, Control and Automation: Science and Engineering Book Series).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Bayesian networks 100%
  • Logic programming 57%
  • Gages 48%

• Modeling morality with prospective logic

  Pereira, L. M. & Saptawijaya, A., 1 Jan 2011, Machine Ethics. Cambridge University Press, Vol. 9780521112352. p. 398-421 24 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

  • Ethical aspects 100%
  • Intelligent systems 39%
  • Teaching 33%
  • Artificial intelligence 33%
  25 Citations (Scopus)
• 2010

  Cluster-lift method for mapping research activities over a concept tree

  Almeida, S. M. D. S. N. M. D., 1 Jan 2010, Advances in Machine Learning II. Koronacki, J., Weirzchon, S., Ras, Z. & Kacprzyk, J. (eds.). 1st ed. Berlin Heidelberg: Springer Verlag, p. 245-257 (Studies in Computational Intelligence; no. 263).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
  8 Citations (Scopus)

• Inductive Tight Semantics for Logic Programs

  Pereira, L. M. & Pinto, A. M., 2010, Liber Amicorum in honour of Maurice Bruynooghe. Leuven: K.U.Leuven, p. 17-31 14 p.

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

  • Semantics 100%
• 2009

  A good year for imprecise probability

  Wheeler, G. R., 1 Jan 2009, Phi-Book: 2008 Yearbook of Philosophical Logic. Hendricks, V. (ed.). Denmark: Automatic Press, p. 1-3

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

• Modeling interactions via commitments and expectations

  Alberti, M., 1 Jan 2009, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models. Dignum, V. (ed.). Hershey, PA: Information Science Reference, p. 263-284

  Research output: Chapter in Book/Report/Conference proceeding › Chapter
• 2002

  Logic programming updating - A guided approach

  Alferes, J. J. A. & Pereira, L. M., 1 Jan 2002, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski. Kakas, A. C. & Sadri, F. (eds.). Springer: Springer, Vol. 2408. p. 382-412 31 p. (Lecture Notes in Computer Science; no. 2408).

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

  • Logic programming 100%
  6 Citations (Scopus)
• 2000

  Why leximin FCSPs are so hard for local search

  Moura Pires, J., Ribeiro, M. R. S. D. A. & Pires, F. M., 2000, Uncertainty in Intelligent and Information Systems. Bouchon-Meunier, B., Yager, R. & Zadeh, L. (eds.). USA: World Scientific, p. 185-196 (Series on Advances in Fuzzy Systems- Applications and Theory; vol. 20).

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

  • Constraint satisfaction problems 100%
  • Local search (optimization) 94%
  • Simulated annealing 77%
  • Genetic algorithms 54%
• 1989

  Human-oriented control of robotic cells

  Camarinha-Matos, L. M., Moura Pires, J. & Pita, H., 9 Oct 1989, Proceedings of the ROBCON 5: International Conference on Industrial Robots. p. 91-103

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review