Pedro Barahona

Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example. Constraints 18(3): 344-376 (2013)

Marco Correia, Pedro Barahona: View-based propagation of decomposable constraints. CoRR abs/1301.4272 (2013)

Gregory R. Wheeler, Pedro Barahona: Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions. J. Philosophical Logic 41(2): 493-503 (2012)

Pedro Barahona, Gemma Bel Enguix, Verónica Dahl, Maria Dolores Jiménez-López, Ludwig Krippahl: Classification Tree Generation Constrained with Variable Weights. IWINAC (1) 2011: 274-283

Verónica Dahl, Pedro Barahona, Gemma Bel Enguix, Ludwig Krippahl: Biological Concept Formation Grammars - A Flexible, Multiagent Linguistic Tool for Biological Processes. ICAART (2) 2010: 388-394

Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic constraints for reliability problems. SAC 2010: 2055-2060

Olivier Perriquet, Pedro Barahona: Constraint-Based Strategy for Pairwise RNA Secondary Structure Prediction. EPIA 2009: 86-97

Marco Correia, Pedro Barahona: Type Parametric Compilation of Algebraic Constraints. EPIA 2009: 201-212

Pedro Barahona, Ludwig Krippahl: Constraint Programming in Structural Bioinformatics. Constraints 13(1-2): 3-20 (2008)

Marco Correia, Pedro Barahona: On the Efficiency of Impact Based Heuristics. CP 2008: 608-612

Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo: Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA 2008: 73-82

Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic Continuous Constraint Satisfaction Problems. ICTAI (2) 2008: 155-162

Elsa Carvalho, Jorge Cruz, Pedro Barahona: Probabilistic Constraints for Inverse Problems. Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 115-128

Marco Correia, Pedro Barahona: On the Integration of Singleton Consistencies and Look-Ahead Heuristics. CSCLP 2007: 62-75

Pedro Barahona, Ludwig Krippahl: A Constraint Programming Approach to Bioinformatics Structural Problems. PADL 2007: 33-49

Francisco Azevedo, Pedro Barahona, François Fages, Francesca Rossi (Eds.): Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4651, Springer 2007, isbn 978-3-540-73816-9

Pedro Barahona, François Bry, Enrico Franconi, Nicola Henze, Ulrike Sattler (Eds.): Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures. Lecture Notes in Computer Science 4126, Springer 2006, isbn 3-540-38409-X

Jorge Cruz, Pedro Barahona: Constraint reasoning in deep biomedical models. Artificial Intelligence in Medicine 34(1): 77-88 (2005)

Paula Amaral, Pedro Barahona: A Framework for Optimal Correction of Inconsistent Linear Constraints. Constraints 10(1): 67-86 (2005)

Ludwig Krippahl, Pedro Barahona: Applying Constraint Programming to Rigid Body Protein Docking. CP 2005: 373-387

Pedro Barahona, Amy P. Felty (Eds.): Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal. ACM 2005, isbn 1-59593-090-6

Laurent Granvilliers, Jorge Cruz, Pedro Barahona: Parameter Estimation Using Interval Computations. SIAM J. Scientific Computing 26(2): 591-612 (2004)

José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift: Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-166

Marco Correia, Pedro Barahona: Machine Learned Heuristics to Improve Constraint Satisfaction. SBIA 2004: 103-113

Jorge Cruz, Pedro Barahona: Constraint Reasoning in Deep Biomedical Models. AIME 2003: 324-334

Jorge Cruz, Pedro Barahona: Constraint Satisfaction Differential Problems. CP 2003: 259-273

Ludwig Krippahl, Pedro Barahona: Propagating N-Ary Rigid-Body Constraints. CP 2003: 452-465

Michel Dojat, Elpida T. Keravnou, Pedro Barahona (Eds.): Artificial Intelligence in Medicine, 9th Conference on Artificial Intelligence in Medicine in Europe, AIME 2003, Protaras, Cyprus, October 18-22, 2003, Proceedings. Lecture Notes in Computer Science 2780, Springer 2003, isbn 3-540-20129-7

Ludwig Krippahl, Pedro Barahona: PSICO: Solving Protein Structures with Constraint Programming and Optimization. Constraints 7(3-4): 317-331 (2002)

Jorge Cruz, Pedro Barahona: Maintaining Global Hull Consistency with Local Search for Continuous CSPs. COCOS 2002: 178-193

Paula Amaral, Pedro Barahona: On Optimal Correction of Inconsistent Linear Constraints. CP 2002: 33-46

Pedro Barahona, Francisco Azevedo, Mario Veloso, Nuno Estêvão, Rosa Gallego: Computerising a guideline for the management of diabetes. I. J. Medical Informatics 64(2-3): 275-284 (2001)

Francisco Azevedo, Pedro Barahona: Interaction of Constraint Programming and Local Search for Optimisation Problems. CP 2001: 554-559

Jorge Cruz, Pedro Barahona: Global Hull Consistency with Local Search for Continuous Constraint Solving. EPIA 2001: 349-362

Silvana Quaglini, Pedro Barahona, Steen Andreassen (Eds.): Artificial Intelligence Medicine, 8th Conference on AI in Medicine in Europe, AIME 2001, Cascais, Portugal, July 1-4, 2001, Proceedings. Lecture Notes in Computer Science 2101, Springer 2001, isbn 3-540-42294-3

Francisco Azevedo, Pedro Barahona: Modelling Digital Circuits Problems with Set Constraints. Computational Logic 2000: 414-428

Francisco Azevedo, Pedro Barahona: Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic. ECAI 2000: 73-77

Jorge Cruz, Pedro Barahona: Handling Differential Equations with Constraints for Decision Support. FroCoS 2000: 105-120

Jorge Cruz, Pedro Barahona, Frédéric Benhamou: Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. AIMDM 1999: 185-196

Ludwig Krippahl, Pedro Barahona: Applying Constraint Programming to Protein Structure Determination. CP 1999: 289-302

Jorge Cruz, Pedro Barahona: An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support. CP 1999: 478-479

Pedro Barahona, José Júlio Alferes (Eds.): Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings. Lecture Notes in Computer Science 1695, Springer 1999, isbn 3-540-66548-X

Francisco Azevedo, Pedro Barahona: Generation of Test Patterns for Differential Diagnosis of Digital Circuits. CP 1998: 462

Pedro Barahona: Defeasible Constraint Solving over the Booleans. IBERAMIA 1998: 397-408

Jorge Cruz, Pedro Barahona: A Causal-Functional Model Applied to EMG Diagnosis. AIME 1997: 249-260

Pedro Barahona: Constraint Logic Programming: Theory, Domain and Applications. APPIA-GULP-PRODE 1996: 3-12

Christian Holzbaur, Francisco Menezes, Pedro Barahona: Defeasibility in CLP(Q) through Generalized Slack Variables. CP 1996: 209-223

Pedro Barahona: Semi-Qualitative Models and Simulation for Biomedical Applications. AIME 1995: 103-114

Francisco Menezes, Pedro Barahona: Defeasible Constraint Solving. Over-Constrained Systems 1995: 151-170

Pedro Barahona, Mario Stefanelli, Jeremy C. Wyatt (Eds.): Artificial Intelligence Medicine, 5th Conference on Artificial Intelligence in Medicine in Europe, AIME'95, Pavia, Italy, June 25-28, 1995, Proceedings. Lecture Notes in Computer Science 934, Springer 1995, isbn 3-540-60025-6

Pedro Barahona: A causal and temporal reasoning model and its use in drug therapy applications. Artificial Intelligence in Medicine 6(1): 1-27 (1994)

Francisco Menezes, Pedro Barahona: Preliminary Formalization of an Incremental Hierarchical Constraint Solver. EPIA 1993: 281-296

Francisco Menezes, Pedro Barahona, Philippe Codognet: An Incremental Hierarchical Constraint Solver. PPCP 1993: 190-199

Francisco Menezes, Pedro Barahona: Constraint Solving in Finite Domains under User Control. EPIA 1991: 17-29

Pedro Barahona, Luís Moniz Pereira, António Porto (Eds.): EPIA 91, 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991, Proceedings. Lecture Notes in Computer Science 541, Springer 1991, isbn 3-540-54535-2

P. Falcão, M. Pereira, R. Ribeiro, Pedro Barahona: Another timetabling approach. Expert Planning Systems 1990: 212-216