GEIST Research Projects

The group has been involved in number of research projects.

Current projects

Prosecco

SaMURaI

HiBuProBuRul

INDECT

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