Este artículo presenta un marco de Programación por Conjuntos de Respuestas Condicionales (PAC Condicional) para definir extensiones condicionales de la Programación por Conjuntos de Respuestas (PAC). El enfoque se basa en una combinación de lógica condicional típica y bases de conocimiento condicional con programas PAC, lo que permite el razonamiento condicional sobre los conjuntos de respuestas de los programas. El formalismo se basa en la semántica de preferencias múltiples (y, como caso especial, en la semántica de preferencias KLM) para interpretar las declaraciones condicionales.