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 multi-agent problem in a new depiction / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 665–676. — Bibliogr. s. 675–676, Abstr.. — K. Jobczyk – dod. afiliacja: University of Caen Normandy. — tekst: https://link-1springer-1com-1000048gm00d3.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_58.pdf

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_58

2
  • An approach to participatory business process modeling: BPMN model generation using constraint programming and graph composition / Piotr WIŚNIEWSKI, Krzysztof KLUZA, Antoni LIGĘZA // Applied Sciences (Basel) [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2076-3417. — 2018 vol. 8 iss. 9 art. no. 1428, s. 1–26. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 22–26, Abstr.. — Publikacja dostępna online od: 2018-08-21. — tekst: http://www.mdpi.com/2076-3417/8/9/1428/pdf

    orcid iD
  • keywords: BPMN, constraint programming, business process management, process modeling, process graph, process planning

    cyfrowy identyfikator dokumentu: 10.3390/app8091428

3
  • An epistemic Halpern-Shoham logic for gradable justification / Krystian Adam JOBCZYK, Antoni LIGĘZA // W: IEEE international conference on Fuzzy Systems (FUZZ-IEEE) [Dokument elektroniczny] : [8–13 July 2018, Rio de Janeiro, Brazil] : proceedings. — Wersja do Windows. — Dane tekstowe. — USA : IEEE, cop. 2018. — (IEEE International Fuzzy Systems Conference Proceedings ; ISSN 1544-5615). — e-ISBN: 978-1-5090-6020-7. — S. [1–8]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [7–8], Abstr.. — tekst: https://ieeexplore-1ieee-1org-1000047hh0121.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8491586

    orcid iD
  • keywords: traveling salesman problem, epistemic Halpern-Shoham logic, gradable justification, fibred semantics, Gödel's incompleteness theorems, Hilbert-Bernays provability conditions

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2018.8491586

4
  • Constraint programming for constructive abduction : a case study in diagnostic model-based reasoning / Antoni LIGĘZA // W: Advanced solutions in diagnostics and fault tolerant control / eds. Jan M. Kościelny, Michał Syfert, Anna Sztyber. — Cham : Springer, cop. 2018. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 635). — Zawiera materiały z: DPS'2017 : 13th international conference on Diagnostics of Processes and Systems : Sandomierz, Poland, September 10–13, 2017. — ISBN: 978-3-319-64473-8 ; e-ISBN: 978-3-319-64474-5. — S. 94–105. — Bibliogr. s. 105, Abstr.

    orcid iD
  • keywords: constraint programming, automated diagnosis, abduction, consistency-based reasoning, model based reasoning, constructive abduction, parametric fault identification, structural fault identification

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-64474-5_8

5
  • Constraint-based composition of business process models / Piotr WIŚNIEWSKI, Krzysztof KLUZA, Mateusz ŚLAŻYŃSKI, Antoni LIGĘZA // W: Business Process Management workshops : BPM 2017 international workshops : Barcelona, Spain, September 10-11, 2017 : revised papers / eds. Ernest Teniente, Matthias Weidlich. — Cham : Springer International Publishing, cop. 2018. — (Lecture Notes in Business Information Processing ; ISSN 1865-1348 ; vol. 308). — ISBN: 978-3-319-74029-4 ; e-ISBN: 978-3-319-74030-0. — S. 133–141. — Bibliogr. s. 140–141, Abstr.. — Publikacja dostępna online od: 2018-01-17. — tekst: https://goo.gl/8obvpj

    orcid iD
  • keywords: BPMN, business processes, constraint programming, automated planning, process mining, business process composition

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-74030-0_9

6
  • Constraint-based identification of complex gateway structures in business process models / Piotr WIŚNIEWSKI, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 788–798. — Bibliogr. s. 796–798, Abstr.. — Publikacja dostępna online od: 2018-05-11. — tekst: https://link-1springer-1com-1000048w3011b.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_69.pdf

    orcid iD
  • keywords: decision support, graph theory, business process management, structure identification

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_69

7
  • Epidemic modeling with cellular automata : [abstract] / Bernadetta STACHURA-TERLECKA, Antoni LIGĘZA // W: Eleventh ACC Cyfronet AGH HPC Users' conference : Zakopane, 7–9 March 2018 : proceedings / eds. Kazimierz Wiatr, Jacek Kitowski, Marian Bubak. — Kraków : Academic Computer Centre Cyfronet AGH, 2018. — ISBN: 978-83-61433-27-9. — S. 39–40. — Bibliogr. s. 40

  • keywords: LCCA, flu epidemy, spatial dynamics, epidemic modeling

    cyfrowy identyfikator dokumentu:

8
  • Generation of synthetic business process traces using constraint programming / Piotr WIŚNIEWSKI, Krzysztof KLUZA, Antoni LIGĘZA, Anna Suchenia // W: FedCSIS 2018 [Dokument elektroniczny] : proceedings of the 2018 Federated Conference on Computer Science and Information Systems : September 9–12, 2018, Poznań, Poland / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Warsaw : Polskie Towarzystwo Informatyczne ; New York : Institute of Electrical and Electronics Engineers, cop. 2018. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 15). — Dod. ISBN: 978-83-949419-6-3 (USB), 978-83-949419-7-0 (ART). — e-ISBN: 978-83-949419-5-6. — S. 445–453. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 452–453, Abstr.. — Toż pod adresem {https://annals-csis.org/Volume_15/drp/pdf/131.pdf}. — tekst: https://ieeexplore-1ieee-1org-10000477100d2.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8511250

    orcid iD
  • keywords: constraint programming, business process management, workflow logs, process verification

    cyfrowy identyfikator dokumentu: 10.15439/2018F131

9
  • Knowledge representation in model driven approach in terms of the Zachman Framework / Krzysztof KLUZA, Piotr WIŚNIEWSKI, Antoni LIGĘZA, Anna Suchenia, Joanna Wyrobek // W: Artificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 689–699. — Bibliogr. s. 697–699, Abstr.. — Publikacja dostępna online od: 2018-05-11. — tekst: https://link-1springer-1com-1000048w3011b.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_60.pdf

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_60

10
  • Modelowanie procesów biznesowych za pomocą reguł biznesowychModeling business processes using business rules / Anna Suchenia, Krzysztof KLUZA, Piotr WIŚNIEWSKI, Antoni LIGĘZA // Marketing i Rynek ; ISSN 1231-7853. — 2018 nr 12 dod.: CD, s. 353–368. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 367–368, Streszcz., Summ.. — tekst: https://www.pwe.com.pl/files/548737418/file/MiR_12_na_p%C5%82yt%C4%99CD1.pdf

    orcid iD
  • słowa kluczowe: zarządzanie procesami biznesowymi, reguły biznesowe, procesy biznesowe, integracja procesów z regułami, modelowanie decyzyjne

    keywords: business rules, business processes, business process management, decision modeling, integrating processes with rules

    cyfrowy identyfikator dokumentu:

11
  • Przegląd rozwiązań w zakresie modelowania z wykorzystaniem notacji: UML, BPMN, DMN i CMMNOverview of the most important solutions in the field of modeling using the notations : UML, BPMN, DMN and CMMN / Anna Suchenia, Krzysztof KLUZA, Piotr WIŚNIEWSKI, Antoni LIGĘZA // Marketing i Rynek ; ISSN 1231-7853. — 2018 nr 12 dod.: CD, s. 340–352. — Wymagania systemowe: Adobe Reader ; napęd CD-ROM. — Bibliogr. s. 350–352, Streszcz., Summ.. — tekst: https://www.pwe.com.pl/files/548737418/file/MiR_12_na_p%C5%82yt%C4%99CD1.pdf

    orcid iD
  • słowa kluczowe: inżynieria oprogramowania, UML, BPMN, DMN, CMMN

    keywords: software engineering, UML, BPMN, DMN, CMMN

    cyfrowy identyfikator dokumentu:

12
  • Temporal traveling salesman problem – in a logic- and graph theory-based depiction / Krystian JOBCZYK, Piotr WIŚNIEWSKI, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 544–556. — Bibliogr. s. 555–556, Abstr.. — Publikacja dostępna online od: 2018-05-11. — K. Jobczyk - pierwsza afiliacja: University of Caen, France. — tekst: https://link-1springer-1com-1000048w3011b.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_48.pdf

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_48

13
  • The hybrid plan controller construction for trajectories in Sobolev space / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 17th International Conference : ICAISC 2018 : Zakopane, Poland, June 3–7, 2018 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Cham : Springer International Publishing AG, cop. 2018. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — s. 532–543. — Bibliogr. s. 542–543, Abstr.. — K. Jobczyk – dod. afiliacja: University of Caen Normandy. — tekst: https://link-1springer-1com-1000048gm00d3.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_47.pdf

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-91262-2_47

14
  • Zastosowanie automatów komórkowych w modelowaniu konfliktów przestrzennych na przykładzie modelowania epidemiiApplication of cellular automata in modeling of spatial conflicts in the example of epidemia modeling / Bernadetta STACHURA-TERLECKA, Antoni LIGĘZA // Zeszyty Naukowe Politechniki Śląskiej. Organizacja i Zarządzanie. — 2018 z. 130, s. 551–558. — Bibliogr. s. 558, Streszcz., Abstr.. — Afiliacja autorów: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. — tekst: https://www.polsl.pl/Wydzialy/ROZ/ZN/Documents/Zeszyt%20130/046.pdf

    orcid iD
  • słowa kluczowe: automaty komórkowe, modelowanie epidemii, modelowanie konfliktów przestrzennych, layered competitive cellular automata

    keywords: cellular automata, modelling spatial conflicts, epidemic modelling, layered competitive cellular automata

    cyfrowy identyfikator dokumentu: 10.29119/1641-3466.2018.130.47