Marco Correia

According to our database, Marco Correia authored at least 13 papers between 2004 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

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

2013

View-based propagation of decomposable constraints.

Marco Correia, Pedro Barahona

Constraints An Int. J., 2013

2009

Type Parametric Compilation of Algebraic Constraints.

Marco Correia, Pedro Barahona

Proceedings of the Progress in Artificial Intelligence, 2009

2008

Using Indexed Finite Set Variables for Set Bounds Propagation.

Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo

Proceedings of the Advances in Artificial Intelligence, 2008

On the Efficiency of Impact Based Heuristics.

Marco Correia, Pedro Barahona

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

On the Integration of Singleton Consistencies and Look-Ahead Heuristics.

Marco Correia, Pedro Barahona

Proceedings of the Recent Advances in Constraints, 2007

2004

Machine Learned Heuristics to Improve Constraint Satisfaction.

Marco Correia, Pedro Barahona

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004