Las técnicas incrementales tienen como objetivo mejorar el rendimiento de los procesos de fundamentación y resolución al reutilizar los resultados de ejecuciones previas. Clingo admite tanto la fundamentación incremental como los cálculos de resolución incrementales. Para aprovechar los cálculos incrementales en clingo, los fragmentos incrementales de los programas ASP deben cumplir ciertas condiciones relacionadas con la seguridad. En varios dominios de problemas y tareas de razonamiento, estas condiciones se pueden cumplir de una manera bastante directa. Sin embargo, hemos observado que en ciertas aplicaciones prácticas, cumplir con las condiciones se vuelve más desafiante, hasta el punto de que a veces no está claro cómo o incluso si es posible aprovechar los cálculos incrementales. En este documento, informamos sobre nuestros hallazgos y éxito final con el uso de técnicas incrementales de fundamentación y resolución en uno de estos casos desafiantes. Describimos el dominio, que está vinculado a una gran aplicación práctica, discutimos los desafíos que enfrentamos al intentar aprovechar los cálculos incrementales, y luego describimos las técnicas que desarrollamos, en particular en el nivel de métodos para codificar el conocimiento del dominio y de algoritmos que respaldan la intercalación prevista de la fundamentación y resolución. Creemos que nuestros hallazgos pueden proporcionar información valiosa a los profesionales que enfrentan desafíos similares y, en última instancia, aumentar la adopción de las capacidades incrementales de clingo para aplicaciones prácticas complejas.