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
  • [referat, 2001]
  • TytułAnalysis and synthesis of attributive decision tables : selected issues
    AutorzyAntoni LIGĘZA
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — S. 27–32
2
  • [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
3
  • [referat, 2001]
  • TytułCase-Based Reasoning within tabular systems : extended structural data representation for helpdesk application
    AutorzyStanisław ZBROJA, Antoni 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. 290–297
4
  • [referat, 2001]
  • TytułCase–Based Reasoning within tabular systems : extended structural data representation and partial matching
    AutorzyStanisław ZBROJA, Antoni LIGĘZA
    ŹródłoFlexible Query Answering Systems : recent advances : proceedings of the fourth international conference on Flexible Query Answering Systems, FQAS'2000, October 25–28, 2000, Warsaw, Poland / eds. Henrik L. Larsen [et al.]. — Heidelberg ; New York : Physica–Verlag, 2001. — S. 230–239
5
  • [referat w czasopiśmie, 2001]
  • TytułCausal structures: from logical models to diagnostic applications
    AutorzyPilar Fuster-Parra, Antoni LIGĘZA
    ŹródłoCASYS : International Journal of Computing Anticipatory Systems. — 2001 vol. 9, s. 366–381
6
  • [referat, 2001]
  • TytułD-net: a tool for verification of knowledge-based systems
    AutorzyMarcin SZPYRKA, Antoni LIGĘZA
    ŹródłoApplied simulation and modelling : proceedings of the IASTED [The International Association of Science and Technology for Development] international conference : September 4–7, 2001 Marbella, Spain / ed. M. H. Hamza ; IASTED. — Anaheim ; Calgary ; Zurich : ACTA Press, 2001. — S. 105–110
7
  • [referat, 2001]
  • TytułDwupoziomowy algebraiczno-logiczny model bazy danych
    AutorzyAntoni LIGĘZA, Marcin SZPYRKA
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — S. 221–226
8
  • [referat, 2001]
  • TytułKnowledge abstraction and algebra of tabular systems
    AutorzyAntoni LIGĘZA
    ŹródłoPozyskiwanie wiedzy z baz danych : materiały na konferencję zorganizowaną przez Katedrę Systemów Sztucznej Inteligencji Akademii Ekonomicznej im. Oskara Langego we Wrocławiu : Karpacz, 18–20 maja 2001 r. / red. nauk. Andrzej Baborski. — Wrocław : Wydawnictwo AE, 2001. — S. 142–153
9
  • [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
10
  • [referat, 2001]
  • TytułKoncepcja narzędzi CAD/CASE do wspomagania projektowania systemów regułowych
    AutorzyAntoni LIGĘZA, Igor WOJNICKI, Grzegorz J. NALEPA
    ŹródłoKKIO 2001 : III [trzecia] Krajowa Konferencja Inżynierii Oprogramowania : Otwock, 17–20 października 2001. — Warszawa : Wydawnictwo MIKOM, 2001. — S. 125–135
11
  • [referat, 2001]
  • TytułLogical and algebraic analysis of data and knowledge
    AutorzyAntoni LIGĘZA
    Źródło10th international conference on SMC : System Modelling Control : Zakopane, May 21–25, 2001 : proceedings, Vol. 2 / ed. Piotr S. Szczepaniak. — Łódź : Technical Univeristy. Institute of Computer Science, 2001. — S. 17–22
12
  • [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
13
  • [materiały konferencyjne (red.), 2001]
  • TytułMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne
    Autorzyred.: Ryszard TADEUSIEWICZ, Antoni LIGĘZA, Maciej SZYMKAT ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego
    DetailsKraków : Oprogramowanie Naukowo-Techniczne, 2001. — XII, 596 s.
14
  • [referat, 2001]
  • TytułMetody redukcji nadmiaru informacji na etapie jej rozpowszechniania w cyklicznym procesie zarządzania wiedzą
    AutorzyMarcin BAJER, Antoni LIGĘZA
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — S. 211–214
15
  • [referat, 2001]
  • TytułModel-based diagnosis of dynamic systems
    AutorzyBartłomiej GÓRNY, Antoni LIGĘZA
    Źródło10th international conference on SMC : System Modelling Control : Zakopane, May 21–25, 2001 : proceedings, Vol. 1 / ed. Piotr S. Szczepaniak. — Łódź : Technical University. Institute of Computer Science, 2001. — S. 243–248
16
  • [referat, 2001]
  • TytułRuleGraph – program wspomagający projektowanie i weryfikację poprawności reguł
    AutorzyJakub OLEKSIAK, Antoni LIGĘZA
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : III krajowa konferencja : Kraków 19–21 listopada 2001 : materiały konferencyjne / red.: Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza przy współudz. Politechniki Krakowskiej i Uniwersytetu Jagiellońskiego. — Kraków : Oprogramowanie Naukowo-Techniczne, 2001. — S. 175–180
17
  • [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
18
  • [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
19
  • [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
20
  • [referat, 2001]
  • TytułWnioskowanie diagnostyczne w oparciu o model systemu
    AutorzyBartłomiej GÓRNY, Antoni LIGĘZA
    ŹródłoDiagnostyka procesów przemysłowych : V krajowa konferencja naukowo-techniczna : Łagów Lubuski, 17–19 września 2001 / red. nauk. Józef Korbicz, Andrzej Pieczyński ; Politechnika Zielonogórska. — Zielona Góra : Oficyna Wydawnicza PZ, 2001. — S. 225–228