This is an old revision of the document!
The group has been involved in number of research projects.
Read more on Prosecco which is a 32 months long NCBR PBS project started in 2012-12. The goal of the project is to address the needs and constraints of small and medium enterprises (SME) by designing methods that will significantly improve their Business Process Management systems.
Read more on SaMURaI, which is a 24 months long NCN project started in 2012-09. The main objective of the project is the development of a Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems.
Read more on HiBuProBuRul, which is a 24 months long NCN project started in 2012-09. The main objective of the project is the development of a Methodology for designing Hierarchical Business Processes integrated with Business Rules.
Read more on GEIST participation INDECT, which is a large EU collaboration project coordinated by Department of Telecommunications of AGH. The aim of the project is the development of an intelligent information system supporting observation, searching and detection for security of citizens in urban environment.
Read more on Parnas, which was a 18 month long NCN project on tools for inference control and quality analysis in modularized rulebases.
Read more on BIMLOQ, which was 32 month long NCN project on business models and processes optimization for quality.
Read more on HeKatE, which was a 30 month long NCN project on hybrid knowledge engineering methodology for knowledge-based systems.
The members of the group were involved in several projects. Selected projects include:
ID: KBN 4 T11C 035 2
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
ID: KBN 4 T11C 027 24
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
ID: KBN 8 T11C 019 17
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