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, 2012]
  • TytułA 3-valued logic for diagnostic applications
    AutorzyAntoni LIGĘZA
    ŹródłoDREAMAP 2012 [Dokument elektroniczny] : Diagnostic REAsoning: Model Analysis and Performance : August, 27th, Montpellier, France / eds. Yannick Pencolé, Alexander Feldman, Alban Grastien. — [S. l. : s. n.], [2012]. — S. 1–4
2
  • [artykuł w czasopiśmie, 2006]
  • TytułA centralized planning technique with temporal constraints and uncertainty for multi-agent systems
    AutorzyB. Baki, M. Bouzid, A. LIGĘZA, A. I. Mouaddib
    ŹródłoJournal of Experimental and Theoretical Artificial Intelligence. — 2006 vol. 18 iss. 3, s. 331–364. — tekst: https://goo.gl/5JKGbS
3
  • [referat, 2006]
  • TytułA framework for knowledge management for domotic applications
    AutorzyPilar Fuster-Parra, Antoni LIGĘZA
    ŹródłoCybernetics and systems 2006 : proceedings of the eighteenth European meeting on Cybernetics and systems research : Vienna, Austria, 18–21 April 2006, Vol. 2 / ed. Robert Trappl. — Vienna : Austrian Society for Cybernatic Studies, 2006. — S. 779–784
4
  • [referat, 2006]
  • TytułA granular attribute logic for rule-based systems management within extended tabular trees
    AutorzyAntoni LIGĘZA, Pilar Fuster-Parra
    ŹródłoCybernetics and systems 2006 : proceedings of the eighteenth European meeting on Cybernetics and systems research : Vienna, Austria, 18–21 April 2006, Vol. 2 / ed. Robert Trappl. — Vienna : Austrian Society for Cybernatic Studies, 2006. — S. 761–766
5
  • [referat, 2004]
  • TytułA graphical tabular model for rule-based logic programming and verification
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoProceedings of the 15th international conference on Systems science : 7–10 September 2004, Wrocław, Poland. Vol. 3, Knowledge engineering and intelligent systems, information systems, technical applications, non-technical applications / eds. Zdzisław Bubnicki, Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2004. — S. 23–28
6
  • [artykuł w czasopiśmie, 2005]
  • TytułA graphical tabular model for rule-based logic programming and verification
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoSystems Science. — 2005 vol. 31 no. 2, s. 89–95
7
  • [fragment książki, 2007]
  • TytułA new approach to multiple fault diagnosis : combination of diagnostic matrices, graphs, algebraic and rule-based models : the case of two-layer models
    AutorzyAntoni LIGĘZA, Jan Maciej Kościelny
    ŹródłoFault diagnosis and fault tolerant control / eds. Józef Korbicz, Krzysztof Patan, Marek Kowal. — Warszawa : Academic Publishing House EXIT, 2007. — S. 219–230
8
  • [referat, 2004]
  • TytułA visual edition tool for design and verification of knowledge in rule-based systems
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoProceedings of the 15th international conference on Systems science : 7–10 September 2004, Wrocław, Poland. Vol. 3, Knowledge engineering and intelligent systems, information systems, technical applications, non-technical applications / eds. Zdzisław Bubnicki, Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2004. — S. 73–78
9
  • [artykuł w czasopiśmie, 2005]
  • TytułA visual edition tool for design and verification of knowledge in rule-based systems
    AutorzyGrzegorz J. NALEPA, Antoni LIGĘZA
    ŹródłoSystems Science. — 2005 vol. 31 no. 3, s. 103–109
10
  • [artykuł w czasopiśmie, 1999]
  • TytułAbductive diagnostic inference : theory and implementation
    AutorzyAntoni LIGĘZA, Pilar Fuster Parra
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 1999 t. 3 z. 1, s. 201–207
11
  • [referat, 2007]
  • TytułAdaptive granular planning for robust plan generation under uncertain traffic conditions
    AutorzySebastian ERNST, Antoni LIGĘZA
    ŹródłoProceedings of the 16th international conference on Systems science : 4–6 September 2007, Wrocław, Poland. Vol. 2, Manufacturing systems ; Distributed computer systems and computer networks ; Knowledge-based and intelligent systems ; Decision support and expert systems / ed. Adam Grzech. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2007. — S. 388–396
12
  • [referat, 2005]
  • TytułAlgebraic temporal specifications with extended TUS : crisp and fuzzy case
    AutorzyAntoni LIGĘZA, Maroua Bouzid
    ŹródłoCMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 367–378
13
  • [referat, 2005]
  • TytułAlgebraic temporal specifications with extended TUS : hierarchical granular terms and their applications
    AutorzyMaroua Bouzid, A. LIGĘZA
    ŹródłoICTAI 2005 : seventeenth International Conference on Tools with Artificial Intelligence : 14–16 November 2005, Hong Kong, China : proceedings / ed. Andrew Lim ; IEEE Computer Society. — [Piscataway] : IEEE, 2005. — S. 249–253
14
  • [referat, 2007]
  • TytułAn improved knowledge representation language for XTT : extended tabular graphs with variables, constraints and control
    AutorzyAntoni LIGĘZA
    ŹródłoCMS'07 : Computer Methods and Systems = Metody i systemy komputerowe : VI konferencja : 21–23 November 2007, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology, Cracow. — Kraków : Oprogramowanie Naukowo-Techniczne, 2007. — S. 111–116
15
  • [referat, 2002]
  • TytułAn inference engine for RDBMS [Relational Database Systems]
    AutorzyIgor WOJNICKI, Antoni LIGĘZA
    ŹródłoSoft Computing and Distributed Processing : sixth international conference, SCDP 2002 : Rzeszów, Poland, June 24–25, 2002 : proceedings / ed. Zbigniew Suraj ; University of Information Technology and Management in Rzeszów. — Rzeszów : Wydawnictwo WSzIiZ, 2002. — S. 123–125
16
  • [referat, 1999]
  • TytułAnaliza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
    AutorzyAntoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 261–266
17
  • [fragment monografii pokonferencyjnej, 2006]
  • TytułAnaliza możliwości zastosowania metod inżynierii wiedzy do budowy inteligentnego systemu planowania trasy w ruchu miejskim
    AutorzySebastian ERNST, Antoni LIGĘZA
    ŹródłoInżynieria wiedzy i systemy ekspertowe, T. 2 / pod red. Adam Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2006. — S. 25–34
18
  • [referat, 1999]
  • TytułAnaliza relacyjnego modelu reprezentacji danych i wiedzy oraz formalizacja wybranych własności jakościowych
    AutorzyAntoni LIGĘZA
    ŹródłoMetody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : II krajowa konferencja : Kraków, 25–27 października 1999 : materiały konferencyjne / red.: R. Tadeusiewicz [et al.] ; Krakowskie Centrum Informatyki Stosowanej = Cracow Centre for Advanced Training in Information Engineering. — Kraków : KCIS, 1999. — S. 255–260
19
  • [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
20
  • [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
21
  • [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
22
  • [referat, 2016]
  • TytułAnomalie w modelowaniu procesów biznesowych
    AutorzyAnna Suchenia (Mroczek), Antoni LIGĘZA
    ŹródłoWD 2016 : Warsztaty Doktoranckie : new technologies & their applications : innovation strategy : konferencja naukowa : Lublin, 11–13 czerwca 2016. — Lublin : Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie, cop. 2016. — S. 201–202
23
  • [artykuł w czasopiśmie, 2005]
  • TytułApplication of OBDD diagrams in verification of tabular rule systems
    AutorzyPiotr SZWED, Antoni LIGĘZA
    ŹródłoSchedae Informaticae. — 2005 vol. 14 February, s. 75–94
24
  • [referat, 2012]
  • TytułArtificial intelligence for knowledge management with BPMN and rules
    AutorzyAntoni LIGĘZA, Krzysztof KLUZA, Grzegorz J. NALEPA, Weronika T. ADRIAN, Tomasz Potempa
    ŹródłoAI4KM 2012 : 1st international workshop on Artificial Intelligence for Knowledge Management : August, 28textsuperscript{th}, 2012, Montpellier, France : proceedings / eds. Eunika Mercier-Laurent [et al.] ; IFIP. — [France : s. n.], [2012]. — S. 27–32
25
  • [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