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

  • A 3-valued logic for diagnostic applications / Antoni LIGĘZA // W: DREAMAP 2012 [Dokument elektroniczny] : Diagnostic REAsoning: Model Analysis and Performance : August, 27th, Montpellier, France / eds. Yannick Pencolé, Alexander Feldman, Alban Grastien. — Wersja do Windows. — Dane tekstowe. — [S. l. : s. n.], [2012]. — S. 1–4. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://dreamap.sciencesconf.org/conference/dreamap/eda_en.pdf [2013-02-07]. — Bibliogr. s. 4, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2

  • A centralized planning technique with temporal constraints and uncertainty for multi-agent systems / B. Baki, M. Bouzid, A. LIGĘZA, A. I. Mouaddib // Journal of Experimental and Theoretical Artificial Intelligence ; ISSN 0952-813X. — 2006 vol. 18 iss. 3, s. 331–364. — Bibliogr. s. 363–364, Abstr.. — Publikacja dostępna online od: 2007-02-20. — tekst: https://goo.gl/5JKGbS

  • keywords: scheduling, planning, temporal constraint reasoning, AND/OR graph and probability

    cyfrowy identyfikator dokumentu: 10.1080/09528130600906340

3

  • A framework for knowledge management for domotic applications / Pilar Fuster-Parra, Antoni LIGĘZA // W: Cybernetics 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. — Bibliogr. s. 784, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4

  • A granular attribute logic for rule-based systems management within extended tabular trees / Antoni LIGĘZA, Pilar Fuster-Parra // W: Cybernetics 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. — Bibliogr. s. 766, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5

  • A graphical tabular model for rule-based logic programming and verification / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Proceedings 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. — ISBN10: 8370858066. — S. 23–28. — Bibliogr. s. 27–28

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

6

  • A graphical tabular model for rule-based logic programming and verification / Grzegorz J. NALEPA, Antoni LIGĘZA // Systems Science ; ISSN 0137-1223. — 2005 vol. 31 no. 2, s. 89–95. — Bibliogr s. 94–95

  • słowa kluczowe: systemy ekspertowe

    keywords: expert systems, logic programming, Prolog, graphical tabular model, formal verification procedures, visual information modeling

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

    cyfrowy identyfikator dokumentu:

7

  • A new approach to multiple fault diagnosis : combination of diagnostic matrices, graphs, algebraic and rule-based models : the case of two-layer models / Antoni LIGĘZA, Jan Maciej Kościelny // W: Fault diagnosis and fault tolerant control / eds. Józef Korbicz, Krzysztof Patan, Marek Kowal. — Warszawa : Academic Publishing House EXIT, 2007. — (Challenging Problems of Science, Theory and Applications. Automatic Control and Robotics). — ISBN: 978-83-60434-32-1. — S. 219–230. — Bibliogr. s. 229–230, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8

  • A visual edition tool for design and verification of knowledge in rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // W: Proceedings 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. — ISBN10: 8370858066. — S. 73–78. — Bibliogr. s. 78

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

9

  • A visual edition tool for design and verification of knowledge in rule-based systems / Grzegorz J. NALEPA, Antoni LIGĘZA // Systems Science ; ISSN 0137-1223. — 2005 vol. 31 no. 3, s. 103–109. — Bibliogr. s. 108–109

  • słowa kluczowe: systemy ekspertowe

    keywords: expert systems, knowledge representation, visual edition tool, knowledge verification, knowledge design, rule based systems

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

    cyfrowy identyfikator dokumentu:

10

  • Abductive diagnostic inference : theory and implementation / Antoni LIGĘZA, Pilar Fuster Parra // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 1999 t. 3 z. 1, s. 201–207. — Bibliogr. s. 207, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11

  • Adaptive granular planning for robust plan generation under uncertain traffic conditions / Sebastian ERNST, Antoni LIGĘZA // W: Proceedings 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. — ISBN: 978-83-7493-340-7. — S. 388–396. — Bibliogr. s. 396

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

12

  • Algebraic temporal specifications with extended TUS : crisp and fuzzy case / Antoni LIGĘZA, Maroua Bouzid // W: CMS'05 : Computer Methods and Systems : 14–16 November 2005, Kraków, Poland. Vol. 1, Plenary lectures and special session papers = CMS'05 : metody i systemy komputerowe : V konferencja / 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. — Opis częśc. wg okł.. — S. 367–378. — Bibliogr. s. 378, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

13

  • Algebraic temporal specifications with extended TUS : hierarchical granular terms and their applications / Maroua Bouzid, A. LIGĘZA // W: ICTAI 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. — (Proceedings – International Conference on Tools with Artificial Intelligence, TAI ; ISSN 1082-3409). — ISBN10: 0-7695-2488-5. — S. 249–253. — Bibliogr. s. 253, Abstr.. — tekst: https://goo.gl/6jR7vr

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/ICTAI.2005.30

14

  • An improved knowledge representation language for XTT : extended tabular graphs with variables, constraints and control / Antoni LIGĘZA // W: CMS'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. — ISBN10: 83-916420-4-6. — S. 111–116. — Bibliogr. s. 116, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

15

  • An inference engine for RDBMS [Relational Database Systems] / Igor WOJNICKI, Antoni LIGĘZA // W: Soft 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. — Bibliogr. s. 125

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Igor Wojnicki

    cyfrowy identyfikator dokumentu:

16

  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy — [Analysis, classification and evaluation of selected problems and solutions for knowledge representation and verification] / Antoni LIGĘZA, Radosław KLIMEK, Tomasz SZMUC // W: Metody 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. — Bibliogr. s. 266, Streszcz.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Tomasz Bartłomiej Szmuc

    cyfrowy identyfikator dokumentu:

17

  • Analiza możliwości zastosowania metod inżynierii wiedzy do budowy inteligentnego systemu planowania trasy w ruchu miejskim — Application of knowledge engineering methods for urban route planning / Sebastian ERNST, Antoni LIGĘZA // W: Inżynieria wiedzy i systemy ekspertowe, T. 2 / pod red. Adam Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2006. — Książka zawiera teksty prac przedstawionych na VI Krajowej Konferencji Naukowej „Inżynieria Wiedzy i Systemy Ekspertowe” (Wrocław, 21–23 czerwca 2006 roku). — S. 25–34. — Bibliogr s. 33–34

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Sebastian Ernst

    cyfrowy identyfikator dokumentu:

18

  • Analiza relacyjnego modelu reprezentacji danych i wiedzy oraz formalizacja wybranych własności jakościowych — [Analysis of relational model for data and knowledge representation and formalisation of selected qualitative properties] / Antoni LIGĘZA // W: Metody 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. — Bibliogr. s. 260, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

19

  • Analiza wybranych problemów projektowania i implementacji systemów regułowych czasu rzeczywistego na przykładzie systemu Kheops — Design and implementation problems of real-time rule-based systems – selected issues based on the case study of Kheops system / Antoni LIGĘZA, Grzegorz J. NALEPA, Igor WOJNICKI // W: Systemy 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. — ISBN10: 83-914257-0-3. — S. 53–64. — Bibliogr. s. 63, Summ.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

20

  • Analysis and synthesis of attributive decision tables : selected issues / Antoni LIGĘZA // W: Metody 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. — ISBN10: 8391642003. — S. 27–32. — Bibliogr. s. 32, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

21

  • Analysis, verification and design of tabular systems : logical, algebraic and graphical methods — Analiza, 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc, Piotr Szwed, Grzegorz Jacek Nalepa, Marcin Szpyrka, Igor Wojnicki

    cyfrowy identyfikator dokumentu:

22

  • Anomalie w modelowaniu procesów biznesowych — [Anomalies in modeling business processes] / Anna Suchenia (Mroczek), Antoni LIGĘZA // W: WD 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. — Lubelskie Dni Nauki i Biznesu. — Opis częśc. wg okładki. — ISBN: 978-83-60617-45-8. — S. 201–202. — Bibliogr. s. 202, Streszcz.. — Toż na dysku Flash: WD 2016 : Warsztaty Doktoranckie : new technologies & their applications : innovation strategy : konferencja naukowa : Lublin, 11–13 czerwca 2016. — Wersja do Windows. — Dane tekstowe. — Lublin : Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie, cop. 2016. — Dysk Flash. — S. 202–203. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 203. — ISBN 978-83-60617-45-8. — Afiliacja A. Ligęza: Akademia Górniczo-Hutnicza w Krakowie

  • słowa kluczowe: BPMN, anomalie strukturalne, anomalie składniowe, anomalie

    keywords: BPMN, anomalies, syntactic anomalies, structural anomalies

    cyfrowy identyfikator dokumentu:

23

  • Application of OBDD diagrams in verification of tabular rule systems / Piotr SZWED, Antoni LIGĘZA // Schedae Informaticae ; ISSN 1732-3916. — Tytuł poprz.: Zeszyty Naukowe Uniwersytetu Jagiellońskiego. Prace Informatyczne ; ISSN: 0860-0295. — 2005 vol. 14 February, s. 75–94. — Bibliogr. s. 93–94, Abstr.. — Spec. iss. contains selected papers: IV National conference Computer methods and systems in scientific research and engineering design : Kraków, November 2003

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Szwed

    cyfrowy identyfikator dokumentu:

24

  • Artificial intelligence for knowledge management with BPMN and rules / Antoni LIGĘZA, Krzysztof KLUZA, Grzegorz J. NALEPA, Weronika T. ADRIAN, Tomasz Potempa // W: AI4KM 2012 : 1st international workshop on Artificial Intelligence for Knowledge Management : August, 28\textsuperscript{th}, 2012, Montpellier, France : proceedings / eds. Eunika Mercier-Laurent [et al.] ; IFIP. — [France : s. n.], [2012]. — Na okł. dod.: ECAI 2012 : 20th European Conference on Artificial Intelligence : Montpellier, France, August 27–31, 2012. — S. 27–32. — Bibliogr. s. 32, Abstr.

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Jacek Nalepa, Weronika Teresa Adrian, Krzysztof Kluza

    cyfrowy identyfikator dokumentu:

25

  • Badanie (weryfikacja) własności baz wiedzy z wykorzystaniem kolorowanych sieci Petriego — [Knowledge base analysis (verification) with use of coloured Petri nets] / Marcin SZPYRKA, Antoni LIGĘZA, Tomasz SZMUC // W: Inżynieria wiedzy i systemy ekspertowe, T. 1 / pod red. Zdzisława Bubnickiego i Adama Grzecha. — Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej, 2000. — ISBN10: 83-7085-476-1. — S. 119–126. — Bibliogr. s. 126

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Tomasz Bartłomiej Szmuc, Marcin Szpyrka

    cyfrowy identyfikator dokumentu: