GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


mbstring extension must be loaded in order to run mPDF
pub:projects:start

This is an old revision of the document!


Projects

The group has been involved in number of research projects. Since 2007 the group has been coordinating the HeKatE project, developing advanced knowledge representation and reasoning methods for intelligent systems, bridging knowledge and software engineering. Since 2008/9 it has been involved in the INDECT project coordinated by the DoT (see http://indect-project.eu).


~~TAGCLOUD>:pub:projects:~~

Current projects

HiBuProBuRul HiBuProBuRul Methodology for designing Hierarchical Business Processes integrated with Business Rules (HiBuProBuRul) * Preludium 2 NCN Grant no. UMO-2011/03…
INDECT INDECT Intelligent information system supporting observation, searching and detection for security of citizens in urban environment (INDECT) * EU FP7 Projec…
KnowMe KnowMe Uncertain and Incomplete Knowledge modelling for mediation in mobile context-aware systems (KnowMe) * Preludium 7 NCN Grant no. 2014/13/N/ST6/01786…
PACMEL PACMEL Process-aware Analytics Support based on Conceptual Models for Event Logs (PACMEL) * CHIST-ERA 2017 BDSI NCN (Unisono) * Project Leader: prof. Grze…
PACMEL PACMEL Process-aware Analytics Support based on Conceptual Models for Event Logs (PACMEL) * CHIST-ERA 2017 BDSI NCN (Unisono) * Project Leader: prof. Grze…
Prosecco Prosecco Processes Semantics Collaboration for Companies (Prosecco) * Grant NCBiR 1. Program Badań Stosowanych, no. PBS1/B3/14/2012 * Project Leader: dr…
Prosecco Prosecco Processes Semantics Collaboration for Companies (Prosecco) * Grant NCBiR 1. Program Badań Stosowanych, no. PBS1/B3/14/2012 * Project Leader: dr…
SaMURaI SaMURaI Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems (SaMURaI) * Preludium 2 NCN Grant no. UMO-2011/03/N/ST6/00886 * Pr…

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-…
pub/projects/start.1312370364.txt.gz · Last modified: 2011/08/03 13:19 by wta