Adder | Adder * 2005->2006 - Adder (Grant KBN 4 T11C 035 2) research on formal methods in design of correct real-time and embedded systems, including rule-based syst… |
Bimloq | Bimloq Business Models Optimization for Quality (BIMLOQ) * MNiSW Research Grant no. N516 422338 * Project Leader: prof. dr hab. inż. Antoni Ligęza * P… |
HeKatE | HeKatE Hybrid Knowledge Engineering (HeKatE) * NCN Grant no. NCN N516 024 32/2878 * Project Leader: prof. dr hab. inż. Antoni Ligęza * Project coordin… |
Mirella | Mirella * 2003->2004 - Mirella (Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: propos… |
Regulus | Regulus * 1999->2001 - Regulus (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-… |
Go back to → projects