Jorge Cruz

According to our database, Jorge Cruz authored at least 24 papers between 1997 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

A certified Branch & Bound approach for reliability-based optimization problems.

Benjamin Martin, Marco Correia, Jorge Cruz

J. Glob. Optim., 2017

A note on the uniqueness of models in social abstract argumentation.

Leila Amgoud, Elise Bonzon, Marco Correia, Jorge Cruz, Jérôme Delobelle, Sébastien Konieczny, João Leite, Alexis Martin, Nicolas Maudet, Srdjan Vesic

CoRR, 2017

2015

Probabilistic Constraint Programming for Parameters Optimisation of Generative Models.

Massimiliano Zanin, Marco Correia, Pedro A. C. Sousa, Jorge Cruz

Proceedings of the Progress in Artificial Intelligence, 2015

Reasoning with Uncertainty in Biomedical Models.

Andrea Franco, Marco Correia, Jorge Cruz

Proceedings of the Progress in Artificial Intelligence, 2015

Probabilistic Constraints for Robot Localization.

Marco Correia, Olga Meshcheryakova, Pedro A. C. Sousa, Jorge Cruz

Proceedings of the Progress in Artificial Intelligence, 2015

Uncertainty Propagation in Biomedical Models.

Andrea Franco, Marco Correia, Jorge Cruz

Proceedings of the Artificial Intelligence in Medicine, 2015

2014

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

Alexandre Goldsztejn, Jorge Cruz, Elsa Carvalho

J. Comput. Appl. Math., 2014

On the Efficient Implementation of Social Abstract Argumentation.

Marco Correia, Jorge Cruz, João Leite

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract).

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Constraints An Int. J., 2013

2010

Probabilistic constraints for reliability problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Reasoning with Uncertainty in Continuous Domains.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Integrated Uncertainty Management and Applications [revised papers from the International Symposium on Integrated Uncertainty Management and Applications, 2010

2008

Probabilistic Constraints for Inverse Problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the Interval / Probabilistic Uncertainty and Non-Classical Logics, 2008

Probabilistic Continuous Constraint Satisfaction Problems.

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

2005

Constraint Reasoning for Differential Models

Jorge Cruz

Frontiers in Artificial Intelligence and Applications 126, IOS Press, ISBN: 978-1-58603-532-7, 2005

Constraint reasoning in deep biomedical models.

Jorge Cruz, Pedro Barahona

Artif. Intell. Medicine, 2005

2004

Parameter Estimation Using Interval Computations.

Laurent Granvilliers, Jorge Cruz, Pedro Barahona

SIAM J. Sci. Comput., 2004

2003

Constraint Satisfaction Differential Problems.

Jorge Cruz, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2003

2002

Maintaining Global Hull Consistency with Local Search for Continuous CSPs.

Jorge Cruz, Pedro Barahona

Proceedings of the Global Optimization and Constraint Satisfaction, 2002

2001

Global Hull Consistency with Local Search for Continuous Constraint Solving.

Jorge Cruz, Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 2001

2000

Handling Differential Equations with Constraints for Decision Support.

Jorge Cruz, Pedro Barahona

Proceedings of the Frontiers of Combining Systems, 2000

1999

An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support.

Jorge Cruz, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 1999

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach.

Jorge Cruz, Pedro Barahona, Frédéric Benhamou

Proceedings of the Artificial Intelligence in Medicine. Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, 1999

1997

A Causal-Functional Model Applied to EMG Diagnosis.

Jorge Cruz, Pedro Barahona

Proceedings of the Artificial Intelligence Medicine, 1997