KRLab's Software

This page contains links to the software developed by the KRLab. (Notice that some of the links will take you to the home page of the member who developed the software.)

• APLAgent Manager (implementation of our intelligent agent loop with graphical interface)
• RCS/USA-Advisor (system description and links to download the complete system)
• RCS/USA-Advisor (A-Prolog source code)
• A-Circuit (A-Prolog based tool for the analysis of electrical circuits)
• ASET-Solver (inference engine for ASET-Prolog)
• Surya (inference engine for A-Prolog with choice rules)
• ADSolver (ASP + Diff constraints)
• ACSolver (ASP-CLP(R))
• crmodels (inference engine for CR-Prolog)
• MKAtoms (output formatting utility for smodels, dlv, and cmodels)
• Romeo (parallel implementation of the smodels algorithm) is available upon request to the author.
• QSystem (interface to run Prolog-like queries on A-Prolog programs)
• P-log (inference engine for P-log, the extension of A-Prolog for probabilistic reasoning)
• SAG (SAT-based answer set solver)
• RSig (extension of lparse allowing the specification of modules and signatures)