Grzegorz J. Nalepa - Badania

GJN official photo

Kontakt

E-mail: gjn@agh.edu.pl

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

Adres: Katedra Automatyki
Akademia Górniczo-Hutnicza
Al. Mickiewicza 30, 30-059 Kraków, Polska
tel.: 048-12-617-3856
fax.: 048-12-634-15-68

Najświeższe prace

Zainteresowania naukowe

Najistotniejsze zainteresowania to:

Sztuczna inteligencja,

systemy inteligentne oparte o wiedzę

regułowe systemy ekspertowe,

inżyniera wiedzy,

programowanie w logice, Prolog,

analiza i weryfikacja systemów inteligentnych,

inżynieria oprogramowania,

Sieć Semantyczna,

wiki semantyczne,

technologie internetowe.

Stanowisko

Jestem zatrudniony na stanowisku adiunkta w Laboratorium Informatyki w Katedrze Automatyki w AGH.

Komitety programowe

2010

członek komitetu programowego 4th International Symposium on Intelligent Distributed Computing - IDC'2010, September 16-18, Tangier, Morocco, 2010.

członek komitetu programowego Fifth Workshop on Semantic Wikis – Linking Data and People (SemWiki2010), May 30 or May 31 2010, na 7th Extended Semantic Web Conference, May 30 - June 03, Heraklion, Greece.

2009

członek komitetu programowego 2nd Artificial Intelligence Techniques in Software Engineering Workshop (AISEW2009) na 5th IFIP Conference on Artificial Intelligence Applications and Innovations, 23-25 April, Thessaloniki, Greece, 2009, (see CEUR procs).

członek komitetu programowego Special Track on Design, Evaluation and Refinement of Intelligent Systems (DERIS) na 22th FLAIRS-2009, 19-21 May, Sanibel Island, Florida, USA, 2009.

Co-chair/organizator i członek komitetu programowego 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) na 32nd Annual Conference on Artificial Intelligence (KI-2009), 15-18 September, Paderborn, Germany, 2009, (patrz CEUR procs).

Co-chair/organizaor i członek komitetu programowego 3rd East European Workshop on Rule-Based Applications (RuleApps2009), 21 September, Cottbus, Germany, 2009, (patrz CEUR procs).

Co-chair/organizator i członek komitetu programowego International Workshop on Design, Evaluation and Refinement of Intelligent Systems DERIS2009, 28 November, Kraków, Poland, 2009, (patrz CEUR procs).

Co-chair/organizator Workshop on Knowledge Engineering and Intelligent Systems at 7th Conference on Computer Methods and Systems, Kraków, November 26-27, 2009.

członek komitetu programowego 7th Conference on Computer Methods and Systems, Kraków, November 26-27, 2009.

przewodniczący sesji Ontology Management 1 na 1st International Conference on Computational Collective Intelligence - Semantic Web, Social Networks & Multiagent Systems, 5-7 October, 2009 Wrocław, Poland.

2008

Co-chair/organizator and członek komitetu programowego 4th Workshop on Knowledge Engineering and Software Engineering (KESE 2008) na 31th German AI Conference (KI-2008), 23-26 September, Kaiserslautern, Germany, patrz Online Proceedings CEUR Vol. 425

członek komitetu programowego i przewodniczący sesji na 2nd East European Workshop on Rule-Based Applications na 18th European Conference] on Artificial Intelligence (ECAI2008), 21-25 July, Patras, Greece, patrz Online Proceedings CEUR Vol. 428

członek komitetu programowego Special Track on Design, Evaluation and Refinement of Intelligent Systems (DERIS) na 21th FLAIRS-2008, May 15-17, Coconut Grove, USA

członek komitetu programowego Special Session Adaptive Networked Systems and Media (ANSyM'2008) na 21st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA-AIE 2008), 18-20 June, Wrocław, Poland

2007

członek komitetu programowego 3rd Workshop on Knowledge Engineering and Software Engineering (KESE 2007) na 30th German AI Conference (KI-2007), 10-13 September, Osnabrück, Germany, patrz Online Proceedings CEUR Vol. 282

członek komitetu programowego 1st East European Workshop on Rule-Based Applications (RuleApps'2007) na 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (Synasc2007), 26-29 September, Timisoara , Romania

przewodniczący sesji Neural Networks na 5th Atlantic Web Intelligence Conference 2007 (AWIC2007), 25-27 June, Fontainebleau, France

2005

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

Recenzent

Recenzent dla Informatica - International Journal of Computing and Informatics, wydawane przez Slovenian Society Informatika, 2010.

Recenzent dla LNCS Transactions on Computational Collective Intelligence, wydawane przez Springer, 2010.

Recenzent dla Data & Knowledge Engineering Journal wydawane przez Elsevier, 2010.

Recenzent dla TMRF e-Book Advances in Semantic Computing, wydawane przez TMRF.

Recenzent dla 2nd Asian Conference on Intelligent Information and Database Systems, 24-26 March 2010, Hue City, Vietnam.

Recenzent dla 17th Mediterranean Conference on Control and Automation (MED'09), June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece

Recenzent dla European Control Conference 2009 (ECC’09), 23-26 August 2009, Budapest, Hungary

Recenzent dla Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, published in May 2009 by IGI Global

Redaktor

Guest Editor (z J. Baumeister) International Journal of Knowledge Engineering and Data Mining (IJKEDM): Special Issue on: "Knowledge and Software Engineering for Intelligent Systems", 2010.

Co-Editor (z A. Ligęza) DERIS2009 Workshop Proceedings, November 2009.

Co-Editor (z J. Baumeister) KESE2009 Workshop Proceedings, September 2009.

Co-Editor (z A. Giurca and G. Wagner) RuleApps2009 Workshop Proceedings, September 2009.

Co-Editor (z M. Szpyrka, A. Ligęza, T. Szmuc) seria CSL Technical Reports, od 2009.

Co-Editor (z J. Baumeister) KESE2008 Workshop Proceedings, September 2008.

Recenzje doktoratów

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

Nagrody

2010 -- Nagroda Rektora AGH za osiągnięcia naukowe w 2009

2009 -- Best paper award na ICCCI2009, z Weroniką T. Furmańską, za artykuł Proposal of a New Rule-based Inference Scheme for the Semantic Web Applications, opublikowany w New Challenges in Computational Collective Intelligence Series: Studies in Computational Intelligence, Vol. 244, Nguyen, Ngoc Thanh; Katarzyniak, Radoslaw; Janiak, Adam (Eds.), Springer, 2009.

2009 -- Nagroda Rektora AGH za osiągnięcia naukowe w 2008

2008 -- Nagroda Rektora AGH za osiągnięcia naukowe w 2007

2005 -- Nagroda Rektora AGH za osiągnięcia naukowe w 2004

2004 -- wyróżnienie Rady Wydziału EAIiE AGH dla mojej rozprawy doktorskiej

1999 -- druga nagroda Polskiego Towarzystwa Informatycznego w konkursie na najlepsze prace magisterskie z informatyki za prace ,,Graphical user interface for Kheops rule-based expert system''

Oprogramowanie

PlWiki -- prototypowe semantyczne wiki oparte na Prologu -> koncepcja, projekt, implementacja, koordynacja; główna implementacja wykonana przez mgr inż. M. Kotre

HeaRT -- hybrydowy silnik regułowy -> koncepcja, projekt, implementacja, koordynacja; główna implementacja wykonana przez mgr inż. S. Bobka i M. Gawędzkiego

HJed -- wizualny edytor dla prototypowania reguł -> koncepcja, projekt, implementacja, koordynacja; główna implementacja wykonana przez mgr inż. Sz. Książka

HQed -- wizualny edytor dla projektowania reguł (XTT) -> koncepcja, projekt, implementacja, koordynacja; główna implementacja wykonana przez mgr inż. K. Kaczora,

VARDA -- semi-wizualne narzędzie dla konceptualnego prototypowania reguł -> koncepcja, projekt, implementacja, razem z dr inż. I. Wojnickim,

Mirella -- wizualny edytor dla projektowania reguł -> koncepcja, projekt, implementacja, opracowane w ramach rozprawy doktorskiej.

Projekty

2010->2012 - BIMLOQ (Grant MNiSW N516 422338) Business Models Optimization for Quality: koordynacja projektu, wizualne metody i narzędzia projektowania.

2009->2015 - INDECT (FP7-218086, FP7:Collaboration/Security) Intelligent information system supporting observation, searching and detection for security of citizens in urban environment. (patrz informacje w systemie CORDIS)
Udział zespołu w WP4, 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 (projekt POIG), Business and Technological Rules Management. Cel prac: rozwinięcie modułu weryfikacji reguł biznesowych.

2007->2009 - HeKatE (Grant MNiSW N516 024 32/2878) Hybrid Knowledge Engineering: koordynacja projektu, metody i narzędzia XTT2 i ARD+

2005->2006 - Adder (Grant KBN 4 T11C 035 2) Formal methods in design of correct real-time and embedded systems, including rule-based systems: opracoanie regułowego systemu bezpieczeństwa

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: analiza opartych na Prologu regułowych systemów ekspertowych

Publikacje

Lista publikacji

wszystkie w systemie AGH BPP

istotne artykuły w serwisie DBLP

publikacje projektu HeKatE na stronie projektu

Organizacje

zostałem wybrany Prezesem Polskiego Stowarzyszenia Sztucznej Inteligencji (PSSI) założonego w 2009 w celu wspierania Sztucznej Inteligencji w Polsce