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, 2000]
  • TytułAnaliza wybranych problemów projektowania i implementacji systemów regułowych czasu rzeczywistego na przykładzie systemu Kheops
    AutorzyAntoni LIGĘZA, Grzegorz J. NALEPA, Igor WOJNICKI
    ŹródłoSystemy czasu rzeczywistego : VII konferencja : Kraków, 25–28 września 2000 : materiały konferencyjne / red. Tomasz Szmuc i Radosław Klimek ; Katedra Automatyki Akademii Górniczo-Hutniczej w Krakowie. — Kraków : KA AGH, 2000. — S. 53–64
2
  • [fragment książki, 2000]
  • TytułBadanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego
    AutorzyMarcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 119–126
3
  • [referat, 2000]
  • TytułElements of algebraic data analysis for verification of qualitative properties
    AutorzyAntoni LIGĘZA
    ŹródłoPozyskiwanie wiedzy z baz danych : materiały na konferencję : Turawa, 19–21 maja 2000 r. / red. nauk. Andrzej Baborski. — Wrocław : Wydawnictwo Akademii Ekonomicznej im. Oskara Langego we Wrocławiu, 2000. — S. 18–28
4
  • [referat, 2000]
  • TytułEnhancing causality in an AND/OR/NOT causal graph for abductive diagnostic inference
    AutorzyPilar Fuster-Parra, Antoni LIGĘZA
    ŹródłoCybernetics and systems 2000 : proceedings of the fifteenth European Meeting on Cybernetics and Systems Research : Vienna, Austria, 25–28 April 2000, Vol. 1 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — [Vienna : University of Vienna], [2000]. — S. 250–253
5
  • [fragment książki, 2000]
  • TytułKoncepcja inteligentnego serwera WWW jako interfejsu do bazy wiedzy i narzędzia komunikacji w zespole projektowym
    AutorzyMarcin BAJER, Antoni LIGĘZA
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 2 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 13–18
6
  • [referat, 2000]
  • TytułLogical analysis of databases and rule-based systems
    AutorzyAntoni LIGĘZA
    ŹródłoCybernetics and systems 2000 : proceedings of the fifteenth European Meeting on Cybernetics and Systems Research : Vienna, Austria 25–28 April 2000, Vol. 2 / ed. Robert Trappl ; University of Vienna ; Austrian Society for Cybernetic Studies. — [Vienna : University of Vienna], [2000]. — S. 757–762
7
  • [referat, 2000]
  • TytułModel–based diagnosis of dynamic systems: towards systematic conflict generation in causal graphs
    AutorzyBartłomiej GÓRNY, Antoni LIGĘZA
    ŹródłoProceedings of the Polish–German Symposium on Science Research Education SRE'2000 : 28–29 September 2000 Zielona Góra, Poland. Pt. 1 / ed. Józef Korbicz. — Zielona Góra : [Technical University of Zielona Góra], 2000. — S. 83–88
8
  • [referat, 2000]
  • TytułSystematic conflict generation in model-based diagnosis
    AutorzyAntoni LIGĘZA, Bartłomiej GÓRNY
    ŹródłoSafeprocess 2000 : 4th [fourth] IFAC symposium on Fault Detection Supervision and Safety for Technical Processes : Budapest 14–16 June 2000 : preprints, Vol. 2/2 / ed. A.M. Edelmayer. — [Budapest : s. n.], 2000. — S. 1103–1108
9
10
  • [artykuł w czasopiśmie, 2000]
  • TytułValidation and verification of knowledge-based systems: report on EUROVAV99
    AutorzyFrans Coenen [et al.], Antoni LIGĘZA [et al.]
    ŹródłoThe Knowledge Engineering Review. — 2000 vol. 15 iss. 2, s. 187–196
11
  • [fragment książki, 2000]
  • TytułWeryfikacja wybranych własności jakościowych systemów tablicowych z bazą wiedzy
    AutorzyAntoni LIGĘZA, Marcin SZPYRKA, Radosław KLIMEK, Tomasz SZMUC
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 103–110
12
  • [fragment książki, 2000]
  • TytułWnioskowanie diagnostyczne z wykorzystaniem modelu systemu
    AutorzyBartłomiej GÓRNY, Antoni LIGĘZA
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 52–59
13
  • [fragment książki, 2000]
  • TytułWnioskowanie w oparciu o analogię w bazach danych i bazach wiedzy – wybrane problemy formalnej reprezentacji przypadków
    AutorzyStanisław ZBROJA, Antoni LIGĘZA
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — S. 68–75
14
  • [referat, 2000]
  • TytułWspomaganie projektowania i uruchamiania systemów regułowych
    AutorzyAntoni LIGĘZA, Igor WOJNICKI, Grzegorz J. NALEPA
    ŹródłoKKIO 2000 : II Krajowa Konferencja Inżynierii Oprogramowania : Zakopane, 18–20 października 2000 : [materiały konferencyjne] / red. Krzysztof Zieliński. — Kraków : Katedra Informatyki Akademii Górniczo-Hutniczej, [2000]. — S. 229–236