* Automated Reasoning Database at Stanford. * The TPTP Home Page. * QED Home page. * ORA Bibliography of Automated Deduction * Tomás Uribe's automated deduction page. * Logical Frameworks Page. * Formal Methods Library at Oxford. * The Mizar Home Page. * Association for Automated Reasoning (AAR) * Conference on Automated Deduction (CADE) * Journal of Automated Reasoning (JAR)
Capability Maturity Model® Integration (CMMI) is a process improvement approach that provides organizations with the essential elements of effective processes. It can be used to guide process improvement across a project, a division, or an entire organization. CMMI helps integrate traditionally separate organizational functions, set process improvement goals and priorities, provide guidance for quality processes, and provide a point of reference for appraising current processes.
PGraphplan and TGraphplan are Graphplan-based planners for STRIPS-style domains that include probabilistic actions. PGraphplan finds contingent plans with highest probability of success within the horizon.