Research output

Research output per year 1999 2003 2005 2010 2014 2015 2024

• 19 Conference contribution
• 7 Article
• 1 Book
• 1 Other contribution

Research output per year

Research output per year

Search results

• 2024

  Genetic Algorithm Approach for Smart Industrial Multi-Objective Production Planning

  Mestre, A., Faustino, D., Silva, B. & Cruz, J., 30 Jul 2024, Proceedings of the 16th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2024. Institute of Electrical and Electronics Engineers (IEEE), 6 p. (Proceedings of the 16th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2024).

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

  Probabilistic constraint programming for parameters optimisation of generative models

  Zanin, M., Correia, M., Cruz, J. & Sousa, P. A. D. C., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 376-387 12 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 › peer-review

  • Probabilistic Programming 100%
  • Probabilistic Constraints 97%
  • Generative Models 88%
  • Parameter Optimization 86%
  • Constraint Programming 85%
  1 Citation (Scopus)

• Probabilistic constraints for robot localization

  Correia, M., Meshcheryakova, O., Sousa, P. A. D. C. & Cruz, J., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 480-486 7 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 › peer-review

  • Probabilistic Constraints 100%
  • Robot 78%
  • Robotics 77%
  • Robots 41%
  • Uncertainty 35%

• Reasoning with uncertainty in biomedical models

  Franco, A., Correia, M. & Cruz, J., 2015, Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Proceedings. Springer Verlag, Vol. 9273. p. 41-53 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 › peer-review

  • Reasoning 100%
  • Uncertainty 88%
  • Energy Intake 69%
  • Probabilistic Programming 42%
  • Probabilistic Constraints 40%

• Safe reliability assessment through probabilistic constraint reasoning

  Carvalho, E., Cruz, J. & Barahona, P., 2015, Safety and Reliability: Methodology and Applications - Proceedings of the European Safety and Reliability Conference, ESREL 2014. CRC Press/Balkema, p. 2269-2277 9 p.

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

  Open Access

  • Uncertainty 100%
  1 Citation (Scopus)

• Uncertainty propagation in biomedical models

  Franco, A., Correia, M. & Cruz, J., 2015, Artificial Intelligence in Medicine - 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Proceedings. Springer Verlag, Vol. 9105. p. 166-171 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9105).

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

  • Uncertainty Propagation 100%
  • Uncertainty 52%
  • Energy Intake 34%
  • Obesity 32%
  • Constraint Programming 28%
  1 Citation (Scopus)
• 2014

  On the Efficient Implementation of Social Abstract Argumentation

  Correia, M., Cruz, J. C. F. R. D. & Leite, J. A. C. P., 1 Jan 2014, Frontiers in Artificial Intelligence and Applications. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). {IOS} Press, Vol. 263. p. 225--230

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

  Open Access
  13 Citations (Scopus)

• Probabilistic constraints for nonlinear inverse problems

  Carvalho, E., Cruz, J. & Barahona, P., 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, Vol. 8656 LNCS. p. 913-917 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8656 LNCS).

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

  • Probabilistic Constraints 100%
  • Nonlinear Inverse Problems 85%
  • Inverse problems 69%
  • Ocean Color 68%
  • Uncertainty 53%
• 2010

  Probabilistic Constraints for Reliability Problems

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2010, Proceedings of the 2010 ACM Symposium on Applied Computing. ACM - Association for Computing Machinery, p. 2055-2060

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

  Open Access

• Reasoning with Uncertainty in Continuous Domains

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2010, Advances in Intelligent and Soft Computing. Springer, Vol. 68. p. 357-369

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

  Open Access
• 2008

  Probabilistic constraints for inverse problems

  Carvalho, E., Cruz, J. & Barahona, P., 2008, Interval / Probabilistic Uncertainty and Non-Classical Logics. Huynh, V-N., Nakamori, Y., Ono, H., Lawry, J., Kreinovich, V. & Nguyen, H. (eds.). Berlin: Springer, Vol. 46. p. 115-128 14 p. (Advances in Soft Computing; vol. 46).

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

  • Probabilistic Constraints 100%
  • Inverse problems 69%
  • Uncertainty 53%
  • Inverse Problem 51%
  • Probability distributions 40%
  2 Citations (Scopus)

• Probabilistic continuous constraint satisfaction problems

  Carvalho, E., Cruz, J. & Barahona, P., 2008, Proceedings - 20th IEEE International Conference on Tools with Artificial Intelligence, ICTAI'08. Los Alamitos, Vol. 2. p. 155-162 8 p. 4669769. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2).

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

  • Constraint satisfaction problems 100%
  • Uncertainty 48%
  • Probability distributions 36%
  4 Citations (Scopus)
• 2007

  Probabilistic reasoning with continuous constraints

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2007, AIP Conference Proceedings. Simos, TE. (ed.). Vol. 936. p. 105-108

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

  Open Access
  2 Citations (Scopus)
• 2003

  Constraint reasoning in deep biomedical models

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2003, Lecture Notes in Artificial Intelligence. Vol. 2780. p. 324-334

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

  Open Access

• Constraint satisfaction differential problems

  Cruz, J. & Barahona, P., 2003, Principles and Practice of Constraint Programming – CP 2003: 9th International Conference, CP 2003, Kinsale, Ireland, September 29 – October 3, 2003. Proceedings. Rossi, F. (ed.). Berlin: Springer Verlag, Vol. 2833. p. 259-273 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2833).

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

  • Constraint Satisfaction 100%
  • Differential equations 32%
  • Decision making 26%
  • Uncertainty 23%
  • Biomedical Applications 21%
  13 Citations (Scopus)

• Maintaining global hull consistency with local search for continuous CSPs

  Cruz, J. & Barahona, P., 2003, Global Optimization and Constraint Satisfaction: First International Workshop on Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002. Revised Selected Papers. Bliek, C., Jermann, C. & Neumaier, A. (eds.). Berlin: Springer, p. 178-193 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2861).

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

  • Local Search 100%
  • Decision making 61%
  • Constraint Propagation 43%
  • Constraint Solving 41%
  • Alternatives 35%
  8 Citations (Scopus)
• 2000

  Handling differential equations with constraints for decision support

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 2000, Lecture Notes in Artificial Intelligence. Vol. 1794. p. 105-120

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

  Open Access
  5 Citations (Scopus)
• 1999

  An interval constraint approach to handle parametric ordinary differential equations for decision support

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1999, Principles and Practice of Constraint Programming: CP 1999 - 5th International Conference, CP 1999, Proceedings. Jaffar, J. (ed.). Berlin: Springer, p. 478-479 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1713).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Integrating deep biomedical models into medical decision support systems: An interval constraint approach

  Cruz, J. C. F. R. D. & Barahona, P. M. C. C. D., 1 Jan 1999, Lecture Notes in Artificial Intelligence. Vol. 1620. p. 185-194

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

  Open Access
  4 Citations (Scopus)