Wykaz publikacji wybranego autora

Grzegorz Jacek Nalepa, dr hab. inż., prof. AGH

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-8182-4225 połącz konto z ORCID

ResearcherID: E-5016-2011

Scopus: 55879229400

PBN: 5e70922c878c28a0473911a0

OPI Nauka Polska

1
  • A graphical tabular model for rule-based logic programming and verification
2
  • A visual edition tool for design and verification of knowledge in rule-based systems
3
  • Conceptual modelling and automated implementation of rule-based systems
4
  • Formal approach to prototyping and analysis of modular rule-based systems
5
  • Knowledge management issues in rule-based systems integrated design process
6
  • Rule-based systems design and implementation
7
  • Two formal approaches to design and verification of embedded rule-based systems
8
  • Visual design and on-line verification of tabular rule-based systems with XTT