I have been involved in the following research projects:
2019→2021 - Process-aware Analytics Support based on Conceptual Models for Event Logs
Call (PACMEL) CHIST-ERA-2017-BDSI
: project leader, principal investigator, coordinator of the international consortium
2015→2017 - KnowMe
(Preludium 7 NCN Grant no. UMO-2014/13/N/ST6/01786) Uncertain and incomplete knowledge modelling for mediation in mobile context-aware systems (KnowMe): scientific supervisor.
2012→2015 - Prosecco
(Grant NCBiR 1. Program Badań Stosowanych, no. PBS1/B3/14/2012) Processes Semantics Collaboration for Companies: project leader.
2012→2014 - SaMURaI
(Preludium 2 NCN Grant no. UMO-2011/03/N/ST6/00886) Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems: scientific supervisor.
2012→2014 - HiBuProBuRul
(Preludium 2 NCN Grant no. UMO-2011/03/N/ST6/00909) Methodology for designing Hierarchical Business Processes integrated with Business Rules: scientific supervisor.
2011→2012 - Parnas
(Grant NCN N516 481240) Methods for inference control and quality management in modularized rule bases: project leader.
2010→2012 - BIMLOQ
(Grant MNiSW N516 422338) Business Models Optimization for Quality: project coordination, visual design methods concepts and tools.
2009→2015 - INDECT
(FP7-218086, FP7:Collaboration/Security) Intelligent information system supporting observation, searching and detection for security of citizens in urban environment. (See the official information at CORDIS
Direct team involvement in WP4, mainly in Task 4.6 Tools to process the information provided by citizens via emergency website, i.e. tools for filtering, validation and classifying textual information
2009→2011 - Rebit
(a POIG 1.3.1
project), Business and Technological Rules Management. Team objective: development of a business rules verification module.
2007→2009 - HeKatE
(Grant MNiSW N516 024 32/2878) Hybrid Knowledge Engineering: project coordination, XTT2 and ARD+ design methods concepts and tools
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 systems: rule-based security systems design and analysis methods and tools
2003→2004 - Mirella
(Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: proposal of an integrated process of visual design, formal analysis and implementation of rule-based expert systems, supported by a CASE tool
1999→2001 - Regulus
(Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-based rule-based systems design methods
over 200 reviewed scientific papers in artificial intelligence, knowledge and software engineering
one edited volume
three special issues of journals
professional training materials concerning GNU/Linux administration and security
For the external lists my papers see:
for all the papers →
AGH UST BPP
See my papers on other sites:
Google Scholar (Profile),
QuadSearch, Web of Science - Research ID,