Grzegorz Jacek Nalepa - Curriculum Vitae

• 2011 – AGH-UST Rector's Prize for Scientific Achievements in 2010
• 2010 – AGH-UST Rector's Prize for Scientific Achievements in 2009
• 2009 – Best paper award at the ICCCI2009, together with Weronika T. Furmanska, for the paper Proposal of a New Rule-based Inference Scheme for the Semantic Web Applications, published in, New Challenges in Computational Collective Intelligence Series: Studies in Computational Intelligence, Vol. 244, Nguyen, Ngoc Thanh; Katarzyniak, Radoslaw; Janiak, Adam (Eds.), Springer, 2009.
• 2009 – AGH-UST Rector's Prize for Scientific Achievements in 2008
• 2008 – AGH-UST Rector's Prize for Scientific Achievements in 2007
• 2005 – AGH-UST Rector's Prize for Scientific Achievements in 2004
• 2004 – my Ph.D. dissertation was awarded by the AGH-UST Faculty of Electrical Engineering, Automatics, Computer Science and Electronics
• 1999 – I was awarded 2nd prize by Polish Information Processing Society in contest for the best M.Sc. Thesis in computer science, for my MSc Thesis entitled ,,Graphical user interface for Kheops rule-based expert system''

I have been involved in the following research projects:

• 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

• PelletHeaRT – a prototype of a hybrid rule reasoner for ontologies (see LNCS/LNAI 6359/2010 Paper: Pellet-HeaRT – Proposal of an Architecture for Ontology Systems with Rules (2010) based on the DAAL concept, see Springer SCI vol. 244/2009 Paper: Proposal of a New Rule-Based Inference Scheme for the Semantic Web Applications (2009) and TCCI II, LNCS/LNAI 6450/2010 Paper: Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules (2010) together with W. T. Adrian (de domo Furmańska).
• Loki (PlWiki) – a semantic wiki using strong logic-based knowledge representation, a prototype Dokuwiki plugin using Prolog → concept, design, implementation, supervision; extended implementation by MSc. student: M. Kotra, revised version by M. Ozgowicz (publicly available prototype soon, early spring 2011), see LNCS/LNAI 5796/2009 Paper: PlWiki – A Generic Semantic Wiki Architecture (2009), JUCS paper: Collective Knowledge Engineering with Semantic Wikis (2010), as well as TCCI III LNCS paper: Loki ­ Semantic Wiki with Logical Knowledge Representation (2011,
• HeaRT – custom hybrid rule inference engine → concept, design, implementation, supervision; together with Prof. A. Ligęza; extended implementation by MSc. students: S. Bobek and M. Gawędzki, see LNCS/LNAI 6114/2010 Paper: Architecture of the HeaRT Hybrid Rule Engine (2010)
• HJed – visual editor for conceptual rule prototyping → concept, requirements, supervision; design and implementation by MSc. student Sz. Książek, see CEUR WS 511 RuleApps2009 Paper: HeKatE Rule Runtime and Design Framework (2009)
• HQed – visual editor for decision rules (XTT-tables/trees) → concept, requirements, extensions, supervision; design and implementation by K. Kaczor, MSc., see CEUR WS 511 RuleApps2009 Paper: HeKatE Rule Runtime and Design Framework (2009)
• PlNXT – a Prolog control library for LEGO Mindstorms NXT: → prototype by P. Hołownia, extensions by M. Makowski, aimed at integration with the XTT2 visual rule-based layer, prototype → B. Biesiada, see the LNCS/LNAI 5243/2008 Paper: Prototype Prolog API for Mindstorms NXT (2008) as well as the LEGO Mindstorms lab by GEIST
• VARDA – semi-visual tool for conceptual rule prototyping → concept, design, implementation; together with I. Wojnicki, Ph.D., see LNCS/LNAI 5243/2008 Paper: VARDA Rule Design and Visualization Tool-Chain (2008)
• Mirella – visual editor for decision rules → concept, design, implementation; part of my Ph. D. Thesis, no longer supported, see Systems Science Journal: A graphical tabular model for rule-based logic programming and verification (2005, vol. 2), Systems Science Journal: A visual edition tool for design and verification of knowledge in rule-based systems (2005, vol. 3), and AGH UST Computer Science journal paper: A New Approach to the Rule-Based Systems Design and Implementation Process (2004)