Papers

The publications are grouped by theme. 

Constraint Satisfaction and Optimization

  • Soft Constraints and Max-CSP
  • Solving Max-SAT as Weighted CSP
    S. de Givry, J. Larrosa, P. Meseguer, T. Schiex 
    Proceedings of Principles and Practice of Constraint Programming, CP-03 LNCS 2833, Ed. F. Rossi. 363-376, 2003.
  • Current approaches for solving overconstrained problems
    P. Meseguer, N. Bouhmala, T. Bouzoubaa, M. Irgens, M. Sánchez 
    Constraints Journal vol. 8, num. 1, 9-39, 2003.
  • Partition-Based Lower Bound for Max-CSP
    J. Larrosa, P. Meseguer 
    Constraints Journal, vol. 7, num. 3/4, 407-419, 2002.
  • Opportunistic Specialization in Russian Doll Search
    P. Meseguer, M. Sánchez , G. Verfaillie 
    Proceedings of Principles and Practice of Constraint Programming, CP-02, LNCS 2470, Ed. P. van Hentenryck. 264-279, 2002.
  • Specializing Russian Doll Search
    P. Meseguer, M. Sánchez 
    Proceedings of Principles and Practice of Constraint Programming, CP-01, LNCS 2239, Ed. T. Walsh, 464-478.
  • Lower Bounds for Non-binary Constraint Optimization. 
    P. Meseguer, J. Larrosa, M. Sánchez
    Proceedings ofPrinciples and Practice of Constraint Programming, CP-01, LNCS  2239, Ed. T. Walsh, 317-331, 2001.
  • Partition-Based Lower Bound for Max-CSP 
    J. Larrosa, P. Meseguer 
    Proceedings of Principles and Practice of Constraint Programming, CP-99, LNCS 1713, Ed. J. Jaffar, 303-315, 1999. 
    • Maintaining reversible DAC for Max-CSP 

      • J. Larrosa, P. Meseguer, T. Schiex 
      Artificial Intelligence, vol. 107, num. 1, 149-163, 1999.
    • Partial Lazy Forward Checking for MAX-CSP 

      • J. Larrosa, P. Meseguer 
      Proceedings of the 13th European Conference on Artificial Intelligence, ECAI-98 Brighton, UK, 229-233, 1998.
    • Reversible DAC and other improvements for solving MAX-CSP 

      • J. Larrosa, P. Meseguer, T. Schiex, G. Verfaille 
      Proceedings of the 15th National Conference on Artificial Intelligence, AAAI-98 Madison, USA, 347-352, 1998.
    • Solving fuzzy constraint satisfaction problems 

      • P. Meseguer, J. Larrosa 
      Proceedings of the 6th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE-97,Barcelona, 1233-1238, 1997. 
    • Exploiting the use of DAC in MAX-CSP 

      • J. Larrosa, P. Meseguer 
      Proceedings of Principles and Practice of Constraint Programming, CP-96, LNCS 1118, Ed. E. C. Freuder, 308-322, 1996. 
    • Phase transition in MAX-CSP 

      • J. Larrosa, P. Meseguer 
      Proceedings of the 12th European Conference on Artificial Intelligence, ECAI-96,Budapest, Hungary, 190-194, 1996. 
    Distributed Constraint Satisfaction
     
    • Distributed Forward Checking
      I. Brito, P. Meseguer  
      Proceedings of Principles and Practice of Constraint Programming, CP-03.LNCS 2833, Ed. F. Rossi, 801-806, 2003.


    Symmetries

    • Exploiting symmetries within constraint satisfaction search

      • P. Meseguer, C. Torras 
      Artificial Intelligence, Vol 129/1-2, 133-163, 2001.
    • Solving Strategies for Highly Symmetric CSPs

      • P. Meseguer, C. Torras 
      Proceedings of the 16h International Joint Conference on Artificial Intelligence, IJCAI-99, 400-405, 1999. 
    Search Strategies
    • Interleaved and Discrepancy Based Search

      • P. Meseguer, T. Walsh 
      Proceedings of the 13th European Conference on Artificial Intelligence, ECAI-98 Brighton, UK, 239-243, 1998.
    • Interleaved depth-first search

      • P. Meseguer 
      Proceedings of the 15th International Joint Conference on Artificial Intelligence, IJCAI-97 Nagoya, Japan, 1382-1387, 1997. 
    Non-Binary Constraints
    • On Forward Checking for Non-binary Constraint Satisfaction
      C. Bessiere, P. Meseguer, E. C. Freuder, J. Larrosa 
      Artificial Intelligence, vol. 141, num. 1-2, 205-224, 2002.
    • On Forward Checking for Non-binary Constraint Satisfaction

      • C. Bessiere, P. Meseguer, E. C. Freuder, J. Larrosa 
      Proceedings of Principles and Practice of Constraint Programming, CP-99 LNCS 1713, Ed. J. Jaffar, 88-102, 1999. 
    Heuristics
    • Optimization-based Heuristics for Maximal Constraint Satisfaction

      • J. Larrosa, P. Meseguer 
      Proceedings of Principles and Practice of Constraint Programming, CP-95, LNCS 976, Ed. U.
      Montanari F. Rossi, 103-120, 1995.
    • Constraint Satisfaction as Global Optimization 

      • P. Meseguer, J. Larrosa 
      Proceedings of the 14th International Joint Conference on Artificial Intelligence, IJCAI-95 Montreal, Canada , 579-584, 1995.
    • Applications Generic CSP Techniques for the Job-Shop Problem 

      • J. Larrosa, P. Meseguer 
      Tasks and Methods in Applied Artifical Intelligence, LNCS 1416, Ed. Mira, del Pobil, Ali, 46-55, 1998. 

    Validation of KBS

    Concepts and Methodology

    • Verification and Validation of Knowledge-Based Systems with Formal Specifications. 

      • P. Meseguer, A. Preece 
      Knowledge Engineering Review, vol. 10:4, 331-343, 1995. 
    • The VALID project: Goals, Development and Results. 

      • P. Meseguer, E. Plaza 
      International Journal of Intelligent Systems, Dan E. O'Leary guest editor, vol. 9, num. 9, 867-892, 1994.
    • Conventional Software and Expert Systems: Some Comparative Aspects Regarding Validation. 

      • P. Meseguer 
      Knowledge Oriented Software Design, J. Cuena editor, Elsevier Science Publishers, 193-204, 1993.
    • On the Terminology of VVT: A Proposal. 

      • T. Hoppe, P. Meseguer 
      IEEE Expert, June 93, 48-55, 1993. 
    • Validation of KBS: The Valid Project 

      • P. Meseguer, E. Plaza. 
      Enhancing Technology and Systems, L. Steels and B. LePape editors, North-Holland, 55-78, 1992.
    • Towards a Conceptual Framework for Expert System Validation. 

      • P. Meseguer 
      Artificial Intelligence Communications, 5(3), 119-135, 1992.
    • An Overview of the VALID Project. 

      • P. Meseguer, E. Plaza 
      Personal Computers and Intelligent Systems, F.H. Vogt editor, Information Processing 92, vol III, Elsevier Science Publishers, 238-244, 1992.
    • Knowledge Based Systems Validation: A State of the Art.

      • B. López, P. Meseguer, E. Plaza 
      Artificial Intelligence Communications,3(2), 58-72, 1990.
    KB Refinement
    • Expert System Validation through Knowledge Base Refinement.

      • P. Meseguer, A. Verdaguer 
      International Journal of Intelligent Systems, vol. 11, num. 7, 429-462, 1996.
    • Expert System Validation through Knowledge Base Refinement. 

      • P. Meseguer 
      Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, Chambery, France, 477-482, 1993. 
    Verification
    • Verification of Multi-Level Rule-Based Expert Systems: Theory and Practice.

      • P. Meseguer, A. Verdaguer 
      The International Journal of Expert Systems: Research & Applications, 3(2), 163-192, 1993. 
    • Incremental Verification of Rule-Based Expert Systems.

      • P. Meseguer. 
      Proceedings of the 10th European Conference on Artificial Intelligence, ECAI-92, Vienna, Austria,  840-844, 1992.
    • Verification of Multi-Level Rule-Based Expert Systems.

      • P. Meseguer. 
      Proceedings of the Ninth National Conference on Artificial Intelligence, AAAI-91, Anaheim, USA, 323-328, 1991.
    • A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach.

      • P. Meseguer 
      Proceedings of the 9th European Conference on Artificial Intelligence,ECAI-90,Stockholm, Sweden, 437-442, 1990.