This is an old revision of the document!
Table of Contents
GEIST Research Projects
The group has been involved in number of research projects.
Current projects
Completed projects
- Parnas, 18 month long NCN project on tools for inference control and quality analysis in modularized rulebases, see the project webpage at: parnas.ia.agh.edu.pl
- BIMLOQ, 32 month long NCN project on business models and processes optimization for quality, see the project webpage at: bimloq.ia.agh.edu.pl
- HeKatE, 30 month long NCN project on hybrid knowledge engineering methodology for knowledge-based systems, see the project webpage at: hekate.ia.agh.edu.pl
Past projects
The members of the group were involved in several projects. Selected projects include:
Adder
ID: KBN 4 T11C 035 2
Timeline: 2005→2006
Leader: Tomasz Szmuc
Principal investigators from GEIST: Marcin Szpyrka, Antoni Ligęza, Grzegorz J. Nalepa
Objective: research on formal methods in design of correct real-time and embedded systems, including rule-based systems
GEIST members' contribution: methods and tools for design and analysis of rule-based security systems
Adder webpage: home.agh.edu.pl/~adder
Mirella
ID: KBN 4 T11C 027 24
Timeline: 2003→2004
Scientific adviser: Antoni Ligęza
Principal investigator: Grzegorz J. Nalepa
Objective: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool, preparation of a PhD thesis: Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems
Mirella webpage: mirella.ia.agh.edu.pl
Regulus
ID: KBN 8 T11C 019 17
Timeline: 1999→2001
Leader: Antoni Ligęza
Principal investigators from GEIST: Antoni Ligęza, Grzegorz J. Nalepa
Objective: development of formal methods for knowledge representation and engineering in artificial intelligence
Regulus webpage: regulus.ia.agh.edu.pl