Export page to Open Document format

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

2009

2008

2007

2005

Recenzent

Redaktor

Recenzje doktoratów

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

Organizacje

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International