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

  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, weryfikacja i projektowanie systemów tablicowych : metody logiczne, algenraiczne i graficzne / Antoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 345–354. — Bibliogr. s. 353–354, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc, Piotr Szwed, Grzegorz Jacek Nalepa, Marcin Szpyrka, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

2

  • Knowledge representation and inference for analysis and design of databases and tabular rule-based systems — Reprezentacja wiedzy i wnioskowanie dla analizy i wspomagania projektowania baz danych i systemów tablicowych z bazą wiedzy / Antoni LIGĘZA // Computer Science ; ISSN 1508-2806. — 2001 vol. 3, s. 13–60. — Bibliogr. s. 58–60, Summ., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3

  • Logical and algebraic analysis of two-level extended tabular systems / Antoni LIGĘZA // W: Proceedings of the 14th international conference on Systems science : 11–14 September 2001, Wrocław. Vol. 2, Systems and control engineering operation and manufacturing systems knowledge engineering and intelligent systems / eds. Zdzisław Bubnicki, Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2001. — ISBN10: 837085575X. — S. 282–289. — Bibliogr. s. 289

  • keywords: verification, semipartitions, algebraic methods, tabular systems, rule based systems

    cyfrowy identyfikator dokumentu:

4

  • Tab-Trees: a CASE tool for the design of extended tabular systems / Antoni LIGĘZA, Igor WOJNICKI, Grzegorz J. NALEPA // W: Database and Expert systems Applications : 12th international conference, DEXA 2001 : Munich, September 3–5, 2001 : proceedings / eds.: Heinrich C. Mayr [et al.]. — Berlin [etc.] : Springer, 2001. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 2113). — ISBN: 978-3-540-42527-4 ; ISBN10: 3-540-42527-6 ; e-ISBN: 978-3-540-44759-7. — S. 422–431. — Bibliogr. s. 431, Abstr.. — tekst: https://link-1springer-1com-1000048i6015f.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F3-540-44759-8.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

5

  • Tabular systems with object values : extended knowledge representation and knowledge manipulation algebra — Systemy tablicowe zawierające obiektowe wartości atrybutów : rozszerzona reprezentacja oraz elementy algebry dla przetwarzania wiedzy / Antoni LIGĘZA, Pilar Fuster Parra // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2001 t. 5 z. 1/2, s. 355–363. — Bibliogr. s. 362–363, Streszcz., Summ.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6

  • Toward logical analysis of tabular rule-based systems / Antoni LIGĘZA // International Journal of Intelligent Systems ; ISSN 0884-8173. — 2001 vol. 16 no. 3, spec. iss. on Verification and validation issues in databases, knowledge–based systems, and ontologies,, s. 333–360. — Bibliogr. s. 359–360. — Workshop on Verification and Validation Issues in Databases, Knowledge-Based Systems, and Ontologies : Vienna, Austria, August 1998

  • brak zdefiniowanych słów kluczowych