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
  • [artykuł w czasopiśmie, 2001]
  • TytułAnalysis, verification and design of tabular systems : logical, algebraic and graphical methods
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Tomasz SZMUC, Marcin SZPYRKA, Piotr SZWED, Igor WOJNICKI
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 345–354

  • 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
  • [artykuł w czasopiśmie, 2001]
  • TytułKnowledge representation and inference for analysis and design of databases and tabular rule-based systems
    AutorzyAntoni LIGĘZA
    ŹródłoComputer Science. — 2001 vol. 3, s. 13–60

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • [referat, 2001]
  • TytułLogical and algebraic analysis of two-level extended tabular systems
    AutorzyAntoni LIGĘZA
    ŹródłoProceedings 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. — S. 282–289

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

    cyfrowy identyfikator dokumentu:

4
  • [referat, 2001]
  • TytułTab-Trees: a CASE tool for the design of extended tabular systems
    AutorzyAntoni LIGĘZA, Igor WOJNICKI, Grzegorz J. NALEPA
    ŹródłoDatabase 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. — S. 422–431

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

5
  • [artykuł w czasopiśmie, 2001]
  • TytułTabular systems with object values : extended knowledge representation and knowledge manipulation algebra
    AutorzyAntoni LIGĘZA, Pilar Fuster Parra
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2001 t. 5 z. 1/2, s. 355–363

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • [referat w czasopiśmie, 2001]
  • TytułToward logical analysis of tabular rule-based systems
    AutorzyAntoni LIGĘZA
    ŹródłoInternational Journal of Intelligent Systems. — 2001 vol. 16 no. 3, spec. iss. on Verification and validation issues in databases, knowledge–based systems, and ontologies,, s. 333–360

  • brak zdefiniowanych słów kluczowych