Welcome to the new PyReason homepage

The 41st International Conference of Logic Programming (ICLP) will take place in Rende, Italy Sep. 12-19, 2025. Two papers building applied AI techniques on PyReason were recently accepted to this conference:

1. D. Aditya, C. Payne, M. A. Leiva, P. Shakarian, Machine Learning Model Integration with Open World Temporal Logic for Process Automation.
   This paper describes how machine learning models can be orchestrated with PyReason for industrial automation use-cases and introduces newly released Python libraries to enable such strategies.
2. J. Patil, R. Knuszka, A. Chapman, J. Chapman, P. Shakarian, Reasoning about Medical Triage Optimization with Logic Programming.
   This paper, created in partnership with technology startup Simwerx, describes how PyReason can be used to manage military medical triage scenarios.