Teoría de ProGeBo

En esta sección compartimos algunos archivos relacionados con las teorías en las que se basa el funcionamiento de ProGeBo. Incluimos la publicación para nuestra presentación de ProGeBo en el 2do Simposio de Informática Industrial de las 42 JAIIO (16 de septiembre de 2013). Además, agregamos algunos slides que lamentablemente no pudimos mostrar en las jornadas, por falta de tiempo.

El archivo W3.pdf contiene los primeros conceptos de las teorías utilizadas por ProGeBo. El 1ro de mayo de 2014 publicamos este documento por primera vez. También es la primera vez que tenemos una versión compilada con LaTeX, por lo que es posible que el documento requiera de algunos ajustes (los cuales serían realizados por el equipo con la mayor brevedad posible). Estamos trabajando en transcribir otras definiciones y teoremas faltantes desde texto plano a LaTeX.

¡Alentamos a los lectores a distribuir la información aquí presentada!