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 / Grzegorz J. NALEPA, Antoni LIGĘZA // Systems Science ; ISSN 0137-1223. — 2005 vol. 31 no. 2, s. 89–95. — Bibliogr s. 94–95

  • słowa kluczowe: systemy ekspertowe

    keywords: expert systems, logic programming, Prolog, graphical tabular model, formal verification procedures, visual information modeling

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

2

  • A visual edition tool for design and verification of knowledge in rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // Systems Science ; ISSN 0137-1223. — 2005 vol. 31 no. 3, s. 103–109. — Bibliogr. s. 108–109

  • słowa kluczowe: systemy ekspertowe

    keywords: expert systems, knowledge representation, visual edition tool, knowledge verification, knowledge design, rule based systems

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

3

  • Conceptual modelling and automated implementation of rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 330–340. — Bibliogr. s. 340, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

4

  • Formal approach to prototyping and analysis of modular rule-based systems / Marcin SZPYRKA, Grzegorz J. NALEPA // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 294–304. — Bibliogr. s. 304, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

5

  • Knowledge management issues in rule-based systems integrated design process — Problematyka zarządzania wiedzą w zintegrowanym procesie projektowania systemów regułowych / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Pozyskiwanie wiedzy i zarządzanie wiedzą / red. nauk. Małgorzata Nycz, Mieczysław Lech Owoc ; AE im. Oskara Langego we Wrocławiu. — Wrocław : Wydawnictwo AE im. Oskara Langego we Wrocławiu, 2005. — (Prace Naukowe Akademii Ekonomicznej im. Oskara Langego we Wrocławiu ; ISSN 0324-8445 ; nr 1064). — S. 190–198. — Bibliogr. s. 196–197, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu:

6

  • Rule-based systems design and implementation : methodologies and technologies / Grzegorz J. NALEPA // W: CMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers = CMS'05 : metody i systemy komputerowe : V konferencja / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — Opis częśc. wg okł.. — S. 329–340. — Bibliogr. s. 339–340, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

7

  • Two formal approaches to design and verification of embedded rule-based systems / Grzegorz J. NALEPA, Marcin SZPYRKA // W: Real-Time Programming 2004 (WRTP 2004) : a proceedings volume from the 28\textsuperscript{th} IFAC/IFIP Workshop on Real-Time Programming, WRTP 2004 and the International Workshop on Software Engineering, IWSS 2004 : Istanbul, Turkey, 8–10 September 2004 / eds. M. Colnarič, W. A. Halang, M. Węgrzyn. — Oxford : Elsevier Ltd, 2005. — (Elsevier IFAC Publications). — Opis częśc. wg okł.. — S. 91–96. — Bibliogr. s. 96, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka

    cyfrowy identyfikator dokumentu:

8

  • Visual design and on-line verification of tabular rule-based systems with XTT / Antoni LIGĘZA, Grzegorz J. NALEPA // W: Marktplatz Internet: Von e-Learning bis e-Payment : 13. Leipziger Informatik-Tage, LIT 2005, 21.–23. September 2005, Leipzig / Hrsg. Klaus P. Jantke, Klaus-Peter Fähnrich, Wolfgang S. Wittig. — Bonn : Gesellschaft für Informatik, 2005. — (Lecture Notes in Informatics (LNI) – Proceedings : Series of the Gesellschaft für Informatik). — S. 303–312. — Bibliogr. s. 311–312, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu: