GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


pub:projects:completed

Completed projects

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

pub/projects/completed.txt · Last modified: 2013/01/10 13:57 (external edit)