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 methodsAnaliza, 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

    cyfrowy identyfikator dokumentu:

2
  • Causal structures: from logical models to diagnostic applications / Pilar Fuster-Parra, Antoni LIGĘZA // CASYS : International Journal of Computing Anticipatory Systems ; ISSN 1373-5411. — 2001 vol. 9, s. 366–381. — Bibliogr. s. 381, Abstr.. — CASYS 2000 : fourth international conference on Computing Anticipatory Systems : Liege, August 7–12, 2000. — Liege : CHAOS, 2001

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

3
  • Knowledge representation and inference for analysis and design of databases and tabular rule-based systemsReprezentacja 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:

4
  • Tabular systems with object values : extended knowledge representation and knowledge manipulation algebraSystemy 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:

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