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
  • Abductive diagnostic inference : theory and implementation / Antoni LIGĘZA, Pilar Fuster Parra // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 1999 t. 3 z. 1, s. 201–207. — Bibliogr. s. 207, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy[Analysis, classification and evaluation of selected problems and solutions for knowledge representation and verification] / Antoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 261–266. — Bibliogr. s. 266, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Analiza relacyjnego modelu reprezentacji danych i wiedzy oraz formalizacja wybranych własności jakościowych[Analysis of relational model for data and knowledge representation and formalisation of selected qualitative properties] / Antoni LIGĘZA // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 255–260. — Bibliogr. s. 260, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Diagnostyka systemów dynamicznych na bazie niespójności w oparciu o model systemu[Model-based dynamic systems diagnosis with use of consistency-based reasoning] / Antoni LIGĘZA, Bartłomiej GÓRNY // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 607–612. — Bibliogr. s. 612, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems / Antoni LIGĘZA // W: EUROVAV 1999 : validation and verification of knowledge based systems: theory, tools and practice : proceedings of the 5\textsuperscript{th} European Symposium on Verification and Validation of Knowledge Based Systems and Components : Oslo, Norvay, June 9–11, 1999 / ed. Anca Vermesan, Frans Coenen. — Oslo : [s. n.], 1999. — S. [1–14]. — Bibliogr. s. [13–14], Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Intelligent data and knowledge analysis and verification; towards a taxonomy of specific problems / Antoni LIGĘZA // W: Validation and verification of knowledge based systems : theory, tools and practice / ed. Anca Vermesan, Frans Coenen. — Boston ; Dordrecht ; London : Kluwer Academic Publishers, 1999. — s. 313–325. — Bibliogr. s. 324–325, Abstr.

  • keywords: verification, validation, knowledge representation, data analysis, consistency, generalization, data representation, completeness, taxonomy of problems, correctness, equivalency, knowledge analysis

    cyfrowy identyfikator dokumentu:

7
  • Systematic conflict generation in $Ca-En-type$ causal structures / Antoni LIGĘZA, Bartłomiej GÓRNY // W: Artificial intelligence in structural engineering : information technology for design, manufacturing, maintenance and monitoring : proceedings of the 6\textsuperscript{th} EG-SEA-AI Workshop, Wierzba 1999 / ed. Adam Borkowski. — Warszawa : Wydawnictwa Naukowo-Techniczne, 1999. — s. 131–138. — Bibliogr. s. 138, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • Validation, verification and integrity issues in expert and database systems / T. Bench-Capon, [et al.], A. LIGĘZA, [et al.] // Expert Update ; ISSN 1465-4091. — 1999 vol. 2 no. 1, s. 31–35. — Bibliogr. s. 35, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • Wybrane problemy implementacji modułu wnioskowania diagnostycznegoSelected implementation problems of a diagnostic module / Antoni LIGĘZA // W: Diagnostyka procesów przemysłowych = Diagnostics of industrial processes : IV [czwarta] Krajowa Konferencja Naukowo-Techniczna : Kazimierz Dolny, 13–16 września 1999 / red. nauk. Jan M. Kościelny ; Politechnika Warszawska. — Warszawa : Instytut Automatyki i Robotyki Politechniki Warszawskiej, 1999. — S. 197–200. — Bibliogr. s. 200, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: