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
  • 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:

3
  • 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:

4
  • 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:

5
  • 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: