E-mail: gjn [at] agh [dot] edu [dot] pl

WWW: http://home.agh.edu.pl/gjn

Address: Institute of Automatics
AGH University of Science and Technology
Al. Mickiewicza 30, 30-059 Kraków, Poland
tel.: 048-12-617-3856
fax.: 048-12-634-15-68

See AGH SKOS system data.

• Grzegorz J. Nalepa, Semantic Knowledge Engineering. A Rule-Based Approach, Wydawnictwa AGH, 2011

• IJAIT Volume: 20, Issue: 6(2011) paper on XTT2 has been published.
• IDC2011 papers on business process analysis published, including Proposal of Representing BPMN Diagrams with XTT2-Based Business Rules and Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language
• ICCCI 2011 papers, including Declarative Design of Control Logic for Mindstorms NXT with XTT2 Method, Visual Design of Drools Rule Bases Using the XTT2 Method and Embedding the HeaRT Rule Engine into a Semantic Wiki
• RuleML2011 LNCS papers have been published, specifically papers on XTT2 formalization, inference and verifcation with HalVA.
• TCCI III paper on Loki has been published
• KESE 7 accepted to CAEPIA
• J. of Applied Mathematics & Computer Science (AMCS), includes Special Section on Semantic Knowledge Engineering, Number 1, Volume 21, 2011.
• Wiley Wires: paper on methodological issues in design and development of rule‐based systems published
• Technical Committee on Computational Collective Intelligence I have been invited to the TC
• IJKEDM SI on KESE published
• TCCI/LNCS paper on Integration Proposal for Description Logic and Attributive Logic – Towards Semantic Web Rules published
• KI2010/LNAI paper on integrating the Pellet ontology reasoner with the HeaRT rule reasoner published
• KESE6 workshop took place at the KI2010
• A chapter in the WNT book on some early XTT ideas published (in polish)
• JUCS paper on knowledge engineering with semantic wikis and PlWiki published
• ICAISC/LNAI paper on the HeaRT XTT2 rule engine published
• JAMCS paper on the HeKatE methodology, including the XTT2 method published

See WikiCFP for other events.

My primary interests concern:

• Artificial Intelligence,
• knowledge-based intelligent systems,
• rule-based expert systems,
• knowledge engineering and design,
• logic programming and Prolog,
• evaluation, verification and validation of intelligent systems,
• software engineering,
• semantic web,
• semantic knowledge wikis,
• Internet technologies.

I am also interested in: user interfaces, operating systems, embedded systems, and computer security.

Currently I hold a position of Assistant Professor in Computer Science Lab in Institute of Automatics in AGH UST.

• PC member of 1st Workshop on Well-founded Everyday Ontologies -– Design, Implementations & Applications (WEO-DIA), at the 7th International Symposium Advances in Artificial Intelligence and Applications (AAIA'12), Wrocław, Poland, September 9, 2012
• PC member of First Semantic Web Collaborative Spaces Workshop at the 21st International World Wide Web Conference, April 17th, 2012 in Lyon, France.
• Co-chair and PC Member of the 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems MSVVEIS 2012 (permanent site for MSVVEIS 2012) held in conjunction with the 14th International Conference on Enterprise Information Systems - ICEIS 2012, 28 June - 1 July, 2012, Wrocław, Poland.
• PC member of 4th International Conference on Computational Collective Intelligence – Technologies and Applications, 28-30 November, Ho Chi Minh city, Vietnam 2012.
• PC member of 6th International Symposium on Intelligent Distributed Computing - IDC 2012, September 24-26, 2012, Calabria, Italy
• PC member of 6th International Symposium on Rules: Research Based and Industry Focused (RuleML 2012) held in conjunction with ECAI 2012, the 20th biennial European Conference on Artificial Intelligence, in Montpellier, France, August 26-28, 2012.
• PC member of 4th International Workshop on Engineering Knowledge and Semantic Systems (IWEKSS 2012), co-located with the 11th International Conference on Artificial Intelligence and Soft Computing ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012.
• PC member of WIMS'12 International Conference on Web Intelligence, Mining and Semantics, University of Craiova, Romania, June 6-8, 2012.
• PC member of The International Workshop on Networked Virtual Enterprises (NetVE 2012), in conjunction with AINA-2012, Fukuoka, Japan, March, 2012
• PC member of The 4th Asian Conference on Intelligent Information and Database Systems (ACIIDS 2012), March 19-21, 2012, Kaohsiung, Taiwan.

• PC member of 5th International RuleML Symposium on Rules co-located with the 14th International Business Rules Forum, 3rd-5th Nov 2011, Fort Lauderdale, Florida, USA.
• PC member and co-organizer of 7th Workshop on Knowledge Engineering and Software Engineering (KESE7) on the Spanish Association for Artificial Intelligence (CAEPIA) 2011, November 7-11 2011, Tenerife, La Laguna, Spain.
• PC member of Semantic Web and Grid Services Track on the Sixth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing October 26-28, 2011, Technical University of Catalonia, Barcelona, Spain
• PC member of 5th International Symposium on Intelligent Distributed Computing - IDC2011, October 5-7, 2011, Delft, The Netherlands.
• PC member of 4th Workshop on Intelligent Techniques in Software Engineering, 5-6 September 2011 at the European Conference on Machine Learning and Principles and Practices of Knowledge Discovery in Databases (ECML-PKDD), 5-6 September 2011, Athens, Greece.
• PC member of First International Workshop on Semantic Applied Technologies on Biomedical Informatics (SATBI 2011), In conjunction with ACM International Conference on Bioinformatics and Computational Biology (ACM-BCB), Chicago, IL, U.S.A., 1-3 August 2011.
• PC member of The 5th International Symposium on Rules: Research Based and Industry Focused, as well as the Doctoral Consortium 19-21 July 2011, Barcelona, Spain Co-located with the 22nd International Joint Conference on Artificial Intelligence
• PC member of The Agent Day 2011 workshop at Intelligent Computing in Large-Scale Systems (ICLS 2011), 30.06-2.07. 2011, Korean Bible University (KBU), Seoul, Korea.
• PC member of The 3rd Asian Conference on Intelligent Information and Database Systems (ACIIDS 2011), April 20-22, Daegu, Korea.
• PC member of International Conference on Web Intelligence, Mining and Semantics (WIMS'11), May 25 - 27, 2011, organized under the auspices of Western Norway Research Institute.

• PC member of 3nd Artificial Intelligence Techniques in Software Engineering Workshop at the 6th IFIP Conference on Artificial Intelligence Applications and Innovations, 5-7 October, Ayia Napa, Cyprus.
• Co-Organizer, PC member of KESE6 Knowledge Engineering and Software Engineering Workshop, at the KI2010 33rd Annual German Conference on Artificial Intelligence, September 21-24, Karlsruhe, Germany, 2010.
• PC member of DERIS 2010 International Workshop on Design, Evaluation and Refinement of Intelligent Systems, September 13-17, Ilmenau, Germany, 2010.
• PC member of 4th International Symposium on Intelligent Distributed Computing - IDC'2010, September 16-18, Tangier, Morocco, 2010.
• PC member of Fifth Workshop on Semantic Wikis – Linking Data and People (SemWiki2010), May 30 or May 31 2010, on 7th Extended Semantic Web Conference, May 30 - June 03, Heraklion, Greece.

• PC member of 2nd Artificial Intelligence Techniques in Software Engineering Workshop (AISEW2009) at the 5th IFIP Conference on Artificial Intelligence Applications and Innovations, 23-25 April, Thessaloniki, Greece, 2009, (see CEUR procs).
• PC member of Special Track on Design, Evaluation and Refinement of Intelligent Systems (DERIS) at the 22th FLAIRS-2009, 19-21 May, Sanibel Island, Florida, USA, 2009.
• Co-chair/organizer and PC member of 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd Annual Conference on Artificial Intelligence (KI-2009), 15-18 September, Paderborn, Germany, 2009, (see CEUR procs).
• Co-chair/organizer and PC member of 3rd East European Workshop on Rule-Based Applications (RuleApps2009), 21 September, Cottbus, Germany, 2009, (see CEUR procs).
• Co-chair/organizer and PC member of International Workshop on Design, Evaluation and Refinement of Intelligent Systems DERIS2009, 28 November, Kraków, Poland, 2009, (see CEUR procs).
• Co-chair/organizer of Workshop on Knowledge Engineering and Intelligent Systems at 7th Conference on Computer Methods and Systems, Kraków, November 26-27, 2009.
• PC Member of the 7th Conference on Computer Methods and Systems, Kraków, November 26-27, 2009.
• Session Chair of the Ontology Management 1 session at the 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks & Multiagent Systems, 5-7 October, 2009 Wrocław, Poland.

• Co-chair/organizer and PC member of 4th Workshop on Knowledge Engineering and Software Engineering (KESE 2008) at the 31th German AI Conference (KI-2008), 23-26 September, Kaiserslautern, Germany, see the Online Proceedings CEUR Vol. 425
• PC member and session chair of the 2nd East European Workshop on Rule-Based Applications at the 18th European Conference] on Artificial Intelligence (ECAI2008), 21-25 July, Patras, Greece, see the Online Proceedings CEUR Vol. 428
• PC member of the Special Track on Design, Evaluation and Refinement of Intelligent Systems (DERIS) at the 21th FLAIRS-2008, May 15-17, Coconut Grove, USA
• PC member of Special Session Adaptive Networked Systems and Media (ANSyM'2008) of the 21st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2008), 18-20 June, Wrocław, Poland

• PC member of the 3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) at the 30th German AI Conference (KI-2007), 10-13 September, Osnabrück, Germany, see the Online Proceedings CEUR Vol. 282
• PC member of the 1st East European Workshop on Rule-Based Applications (RuleApps'2007) at the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (Synasc2007), 26-29 September, Timisoara , Romania
• Session Chair of the Neural Networks session at the 5th Atlantic Web Intelligence Conference 2007 (AWIC2007), 25-27 June, Fontainebleau, France

• Co-chair of the Special Session: Knowledge Engineering - Methods and Application at the 5th Computer Methods and Systems conference (CMS2005), 14-16 November, Kraków, Poland

• Member of the Editorial Board of the Computer Science Journal (ISSN 1508-2806) published by the AGH University of Science and Technology.

• Reviewer for the The Computer Journal by Oxford Journals, 2011.
• Reviewer for the 8th IFAC Symposium SAFEPROCSS-2012, 2012.
• Reviewer for the International Journal of Software Engineering and Knowledge Engineering, by World Scientific, 2011.
• Reviewer for the Knowledge-Based Systems Journal, by Elsevier, 2010, 2011.
• Reviewer for the Informatica - International Journal of Computing and Informatics, by Slovenian Society Informatika, 2010.
• Reviewer for the LNCS Transactions on Computational Collective Intelligence, by Springer, 2010,11.
• Reviewer for the Data & Knowledge Engineering Journal by Elsevier, 2010.
• Reviewer for the TMRF e-Book Advances in Semantic Computing, 2010 by TMRF.
• Reviewer for the 2nd Asian Conference on Intelligent Information and Database Systems, 24-26 March 2010, Hue City, Vietnam.
• Reviewer for the 17th Mediterranean Conference on Control and Automation (MED'09), June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece
• Reviewer for the European Control Conference 2009 (ECC’09), 23-26 August 2009, Budapest, Hungary
• Reviewer for the Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, published in May 2009 by IGI Global

• Guest Editor (with A. Ligęza) of Special Section on Semantic Knowledge Engineeringing International Journal of Applied Mathematics & Computer Science (AMCS), Vol. 21, No. 1, 2011.
• Guest Editor (with J. Baumeister) of International Journal of Knowledge Engineering and Data Mining (IJKEDM): Special Issue on: "Knowledge and Software Engineering for Intelligent Systems", Vol. 1, No. 3., 2011.
• Co-Editor (with J. Baumeister) of KESE6 Workshop Proceedings, September 2010.
• Co-Editor (with A. Ligęza) of DERIS2009 Workshop Proceedings, November 2009.
• Co-Editor (with J. Baumeister) of KESE2009 Workshop Proceedings, September 2009.
• Co-Editor (with A. Giurca and G. Wagner) of RuleApps2009 Workshop Proceedings, September 2009.
• Co-Editor (with M. Szpyrka, A. Ligęza, and T. Szmuc) of the CSL Technical Reports series, since 2009.
• Co-Editor (with J. Baumeister) of KESE2008 Workshop Proceedings, September 2008.

• Sergey Lukichev, Towards Rule Interchange and Rule Verification, BTU Cottbus 2010. Supervisor: prof. Gerd Wagner, BTU Cottbus Germany, Referee: prof. Pascal Hitzler, Wright State University, Dayton, Ohio, USA.

• 2011-11 invited lecture on Introduction to Semantic Knowledge Engineering given during the seminar of the POLISH CHAPTER OF THE IEEE ROBOTICS AND AUTOMATION SOCIETY, Poznan
• 2011-06 series of invited lectures in Aspects of Knowledge Engineering given during a MSc courses, within the framework of the Masters in Computer Science program, University of Almeria, Spain

• 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''

• 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)

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

• over 120 reviewed scientific papers in artificial intelligence, knowledge and software engineering
• professional training materials concerning GNU/Linux administration and security

For the external lists my papers see: for all the papers → the AGH UST BPP system

See my papers on other sites:

• IEEE Technical Committee on Computational Collective Intelligence – I have been member of the TC on CCI since 2011
• Polish Artificial Intelligence Society (PAIS/PSSI) – in 2009 I have been elected the President of the Polish Artificial Intelligence Society (PAIS) (polish Polskie Stowarzyszenie Sztucznej Inteligencji (PSSI)) established in 2009 for supporting and promoting AI in Poland.

2004 – Ph.D. in Computer Science – My dissertation entitled “Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems” presents a new approach to rule-based system design, implementation and verification. See: the webpage

Since 2006 I have supervised 20 master students that graduated. Currently I am supervising 10 MSc theses.

• a bio data (the same at the GEIST page)
• a short bio