Wykaz publikacji wybranego autora

Antoni Ligęza, prof. dr hab. inż.

profesor zwyczajny

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

[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-6573-4246 orcid iD

ResearcherID: E-2422-2012

Scopus: 15127004800

PBN: 5e70922c878c28a047391185

OPI Nauka Polska

System Informacyjny AGH (SkOs)

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: Grzegorz Jacek Nalepa

    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: Grzegorz Jacek Nalepa

    cyfrowy identyfikator dokumentu:

3

  • Application of OBDD diagrams in verification of tabular rule systems / Piotr SZWED, Antoni LIGĘZA // Schedae Informaticae ; ISSN 1732-3916. — Tytuł poprz.: Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Prace Informatyczne ; ISSN: 0860-0295. — 2005 vol. 14 February, s. 75–94. — Bibliogr. s. 93–94, Abstr.. — Spec. iss. contains selected papers: IV National conference Computer methods and systems in scientific research and engineering design : Kraków, November 2003

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed

    cyfrowy identyfikator dokumentu:

4

  • Hierarchiczna diagnostyka systemów : model strukturalny i wnioskowanie diagnostyczne — Hierarchical diagnosis : structural model and diagnostic reasoning / Jakub OLEKSIAK, Antoni LIGĘZA // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2005 [nr] 9bis wyd. spec. dod., s. 26–28. — Bibliogr. s. 28, Streszcz., Abstr.. — Diagnostyka procesów przemysłowych : VII krajowa konferencja naukowo-techniczna : Rajgród, 12–14 września 2005 / pod red. nauk. Jana Macieja Kościelnego. — Warszawa : Agenda Wydawnicza SIMP, 2005

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Jakub Oleksiak

    cyfrowy identyfikator dokumentu:

5

  • Structural model and reasoning in hierarchical diagnosis / Jakub OLEKSIAK, Antoni LIGĘZA // Computer Assisted Mechanics and Engineering Sciences ; ISSN 1232-308X. — 2005 vol. 12 no. 2-3, s. 195–206. — Bibliogr. s. 206

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Jakub Oleksiak

    cyfrowy identyfikator dokumentu: