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

    Zobacz pełny wykaz publikacji Autora/Autorów: Krystian Jobczyk

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

2

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Krystian Jobczyk

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2018.8491586

3

  • 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

4

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kluza, Mateusz Ślażyński, Piotr Wiśniewski

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

5

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Piotr Wiśniewski

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

6

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Bernadetta Stachura-Terlecka

    cyfrowy identyfikator dokumentu:

7

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kluza, Piotr Wiśniewski

    cyfrowy identyfikator dokumentu: 10.15439/2018F131

8

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kluza, Piotr Wiśniewski

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

9

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Krystian Jobczyk, Piotr Wiśniewski

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

10

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Krystian Jobczyk

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