GEIST Research Projects

The group has been involved in number of research projects.

Current projects

Prosecco

SaMURaI

HiBuProBuRul

INDECT

Completed projects

Parnas

Read more on Parnas, which was a 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

Read more on BIMLOQ, which was 32 month long NCN project on business models and processes optimization for quality.

See the project webpage at: bimloq.ia.agh.edu.pl

HeKatE

Read more on HeKatE, which was a 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