A fuzzy multi-agent problem in a conceptual and operational depiction / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 19th International Conference, ICAISC 2020 : Zakopane, Poland, October 12–14, 2020 : proceedings, Pt. 2 / eds. Leszek Rutkowski [et al.]. — Cham : Springer Nature Switzeland, cop. 2020. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 12416. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-030-61533-8 ; e-ISBN: 978-3-030-61534-5. — S. 346–356. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2020-10-07

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

A multi-valued simplified Halpern-Shoham-Moszkowski logic for gradable verifiability in reasoning about digital circuits / Krystian JOBCZYK // Electronics [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2079-9292. — 2021 vol. 10 iss. 15 art. no. 1817, s. 1-27. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 26-27, Abstr.. — Publikacja dostępna online od: 2021-07-29. — tekst: https://www.mdpi.com/2079-9292/10/15/1817/pdf

An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability / Krystian JOBCZYK // International Journal of Approximate Reasoning ; ISSN 0888-613X. — 2023 vol. 163 art. no. 109033, s. 1–32. — Bibliogr. s. 32, Abstr.. — Publikacja dostępna online od: 2023-10-02. — Dod. afiliacja: The Saul Kripke Center, New York, USA. — tekst: https://www.sciencedirect.com/science/article/pii/S0888613X23001640/pdfft?md5=2e29ca5a80c12a689ef7919186308916&pid=1-s2.0-S0888613X23001640-main.pdf

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

An epistemic simplified Interval Temporal Logic of Moszkowski for fuzzified justification / Krystian Adam JOBCZYK, Antoni LIGĘZA // W: FUZZ IEEE 2019 [Dokument elektroniczny] : 2019 IEEE international conference on Fuzzy systems : New Orleans, Louisiana, USA, June 23–26, 2019. — Wersja do Windows. — Dane tekstowe. — Piscataway : IEEE, cop. 2019. — (IEEE International Fuzzy Systems Conference Proceedings ; ISSN 1544-5615). — e-ISBN: 978-1-5386-1728-1. — S. [1–8]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [8], Abstr.. — Publikacja dostępna online od: 2019-10-10. — tekst: https://ieeexplore-1ieee-1org-1000047pm001d.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8859016

Brief overview of research directions in Artificial Intelligence methods for Business Process Management / Krzysztof KLUZA, Piotr WIŚNIEWSKI, Weronika T. ADRIAN, Antoni LIGĘZA, Marek ADRIAN, Bernadetta STACHURA-TERLECKA, Krystian JOBCZYK // W: PP-RAI'2019 [Dokument elektroniczny] : Polskie Porozumienie na rzecz Rozwoju Sztucznej Inteligencji : 16–18.10.2019, Wrocław : conference proceedings. — Wersja do Windows. — Dane tekstowe. — [Wrocław : Faculty of Electronics. Wroclaw University of Science and Technology], cop. 2019. — e-ISBN: 978-83-943803-2-8. — S. [256–259]. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://pp-rai.pwr.edu.pl/PPRAI19_proceedings.pdf [2019-11-12]. — Bibliogr. s. [259], Abstr.

Brief overview of selected research directions and applications of process mining in KRaKEn Research Group / Krzysztof KLUZA, Mateusz ZAREMBA, Dominik SEPIOŁO, Piotr WIŚNIEWSKI, Weronika T. ADRIAN, Maria Teresa Gaudio, Paweł JEMIOŁO, Marek ADRIAN, Krystian JOBCZYK, Mateusz ŚLAŻYŃSKI, Bernadetta STACHURA-TERLECKA, Antoni LIGĘZA // W: Progress in Polish artificial intelligence research 4 [Dokument elektroniczny] / ed. by Adam Wojciechowski, Piotr Lipiński. — Wersja do Windows. — Dane tekstowe. — Łódź : Łódź University of Technology Press, 2023. — (Monografie Politechniki Łódzkiej ; nr 2437). — e-ISBN: 978-83-66741-92-8. — S. 151–156. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://repozytorium.p.lodz.pl/bitstream/handle/11652/4773/Progr_Polish_artif_Wojciechowski_2023.pdf?sequence=1&isAllowed=y [2023-10-02]. — Bibliogr. s. 155–156, Abstr.

Comparison of selected modeling notations for process, decision and system modeling / Krzysztof KLUZA, Piotr WIŚNIEWSKI, Krystian JOBCZYK, Antoni LIGĘZA, Anna Suchenia (Mroczek) // W: FedCSIS [Dokument elektroniczny] : proceedings of the 2017 Federated Conference on Computer Science and Information Systems : September, 3–6, 2017, Prague, Czech Republic / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : PTI, IEEE, [2017]. — ISBN: 978-8-3946-2537-5. — S. 1111–1114. — Wymagania systemowe: Adobe Reader ; Dysk Flash. — Bibliogr. s. 1113–1114, Abstr.. — Toż. w bazie IEEE. — (Federated Conference on Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 11). — S. 1095-1098. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 1097–1098. — ISBN 978-83-946253-7-5. — {https://goo.gl/N7kxPn}

Dynamic Epistemic Preferential Logic of Action / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10246. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 243–254. — Bibliogr. s. 253–254, Abstr.. — K. Jobczyk – dod. afiliacja: University of Basse-Normandie of Caen, Caen, France

Evaluation of selected artificial intelligence technologies for innovative business intelligence applications / Antoni LIGĘZA, Krzysztof KLUZA, Paweł JEMIOŁO, Dominik SEPIOŁO, Piotr WIŚNIEWSKI, Krystian JOBCZYK // W: Advances in systems engineering : proceedings of the 28th International Conference on Systems Engineering, ICSEng 2021 : December 14–16, Wrocław, Poland / eds. Leszek Borzemski, Henry Selvaraj, Jerzy Świątek. — Cham : Springer Nature Switzerland, cop. 2022. — (Lecture Notes in Networks and Systems ; ISSN 2367-3370 ; vol. 364). — ISBN: 978-3-030-92603-8 ; e-ISBN: 978-3-030-92604-5. — S. 111–126. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2021-12-11

Explainable artificial intelligence : model discovery with constraint programming / Antoni LIGĘZA, Paweł JEMIOŁO, Weronika T. ADRIAN, Mateusz ŚLAŻYŃSKI, Marek ADRIAN, Krystian JOBCZYK, Krzysztof KLUZA, Bernadetta STACHURA-TERLECKA, Piotr WIŚNIEWSKI // W: Intelligent systems in industrial applications / eds. Martin Stettinger, [et al.]. — Cham : Springer, cop. 2021. — (Studies in Computational Intelligence ; ISSN 1860-949X ; vol. 949). — Publikacja zawiera materiały z: ISMIS 2020 : 25th International Symposium on Methodologies for Intelligent Systems : industrial part : Graz, Austria, 2020 : [virtual symposium]. — ISBN: 978-3-030-67147-1 ; e-ISBN: 978-3-030-67148-8. — S. 171–191. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2021-02-04

Exploring constraint programming : approaching a practical optimization problem / Weronika T. ADRIAN, Mateusz ŚLAŻYŃSKI, Antoni LIGĘZA, Marco Manna, Nicola Leone, Marek ADRIAN, Krystian JOBCZYK, Krzysztof KLUZA, Bernadetta STACHURA-TERLECKA, Piotr WIŚNIEWSKI // W: PP-RAI'2019 [Dokument elektroniczny] : Polskie Porozumienie na rzecz Rozwoju Sztucznej Inteligencji : 16–18.10.2019, Wrocław : conference proceedings. — Wersja do Windows. — Dane tekstowe. — [Wrocław : Faculty of Electronics. Wroclaw University of Science and Technology], cop. 2019. — e-ISBN: 978-83-943803-2-8. — S. [397–400]. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: http://pp-rai.pwr.edu.pl/PPRAI19_proceedings.pdf [2019-11-12]. — Bibliogr. s. [400], Abstr.

Lindstrøm's characterizability of abstract fuzzy logic systems for convolutions / Krystian JOBCZYK, Krzysztof KLUZA // W: FUZZ-IEEE 2023 [Dokument elektroniczny] : 2023 IEEE International conference on Fuzzy systems (FUZZ) : [13–17 August 2023, Incheon, Republic of Korea] : proceedings. — Wersja do Windows. — Dane tekstowe. — [Piscataway] : IEEE, cop. 2023. — (IEEE International Fuzzy Systems Conference Proceedings ; ISSN 1544-5615). — e-ISBN: 979-8-3503-3228-5. — S. [1–6]. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. [6], Abstr.. — Publikacja dostępna online od: 2023-11-09. — Błędny ORCID K. Kluzy. — tekst: https://ieeexplore-1ieee-1org-1000047090086.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=10309723

Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions / Krystian JOBCZYK // Journal of Intelligent & Fuzzy Systems ; ISSN 1064-1246. — 2019 vol. 36 iss. 5 spec. iss. Intelligent and Fuzzy Systems applied to Language & Knowledge Engineering, s. 5091-5103. — Bibliogr., Abstr.

Multi-valued extension of Putnam-Davis procedure / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10246. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 454–465. — Bibliogr. s. 464–465, Abstr.. — K. Jobczyk - dod. afiliacja: University of Basse-Normandie of Caen, France

Multi-valued preferential Halpern-Shoham logic for relations of Allen and preferences / Krystian Adam JOBCZYK, Antoni LIGĘZA // W: (IEEE WCCI 2016) [Dokument elektroniczny] : IEEE World Congres on Computational Intelligence 2016: (IJCNN) 2016 International Joint Conference on Neural Networks ; (FUZZ-IEEE) 2016 IEEE International Conference on Fuzzy Systems ; (IEEE CEC) 2016 IEEE Congress on Evolutionary Computation : 24–29 July 2016 Vancouver, Canada / IEEE. — Wersja do Windows. — Dane tekstowe. — Piscataway, NJ : IEEE, cop. 2016. — Dysk Flash. — (IJCNN) ISBN: 978-1-5090-0619-9 ; (FUZZ-IEEE) ISBN: 978-1-5090-0625-0 ; (IEEE CEC) ISBN: 978-1-5090-0622-9. — e-ISBN: 978-150900625-0. — S. 217–224. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 224, Abstr.. — Referat wygłoszony w ramach konferencji: (FUZZ-IEEE) 2016 IEEE International Conference on Fuzzy Systems

New integral approach to the specification of STPU-solutions / Krystian JOBCZYK, Antoni LIGĘZA, Krzysztof KLUZA // W: Artificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9693. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-39383-4 ; e-ISBN: 978-3-319-39384-1. — S. 317–328. — Bibliogr. s. 328, Abstr.. — Toż na Dysku Flash. — K. Jobczyk – dod. afiliacja: University of Caen, France

On graph models in knowledge engineering — Rzecz o modelach grafowych w inżynierii wiedzy / Antoni LIGĘZA, Weronika T. ADRIAN, Marek ADRIAN, Krzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Mateusz ŚLAŻYŃSKI, Paweł JEMIOŁO, Dominik SEPIOŁO, Bernadetta STACHURA-TERLECKA, Mateusz ZAREMBA, Mateusz Szymkowski, Anna Suchenia, Tomasz Potempa // W: Nauka – technika – technologia [Dokument elektroniczny] : seria wydawnicza AGH, T. 8. — Wersja do Windows. — Dane tekstowe. — Kraków : Wydawnictwa AGH, 2023. — e-ISBN: 978-83-67427-74-6. — S. 97–112. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 109–112, Abstr., Streszcz.. — tekst: https://repo.agh.edu.pl/entities/publication/25046dfc-40b2-434e-b47e-3e6d570ad06c

Overview of generation methods for business process models / Piotr WIŚNIEWSKI, Krzysztof KLUZA, Krystian JOBCZYK, Bernadetta STACHURA-TERLECKA, Antoni LIGĘZA // W: Knowledge Science, Engineering and Management : 12th international conference, KSEM 2019, Athens, Greece, August 28–30, 2019 : proceedings, Pt. 2 / eds. Christos Douligeris, Dimitris Karagiannis, Dimitris Apostolou. — Cham : Springer Nature Switzerland, cop. 2019. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 11776. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-030-29562-2 ; e-ISBN: 978-3-030-29563-9. — S. 55–60. — Bibliogr. s. 58–60, Abstr.. — Publikacja dostępna online od: 2019-08-22. — tekst: https://link-1springer-1com-1000048550086.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-030-29563-9_6.pdf

Overview of time issues with temporal logics for business process models / Krzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Antoni LIGĘZA // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — ISBN: 978-836081090-3. — S. 90. — Pełny tekst W: FedCSiS 2016 [Dokument elektroniczny] : preproceedings of the 2016 Federated Conference on Computer Science and Information Systems : September 11–14, 2016, Gdańsk, Poland / eds. Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. — Wersja do Windows. — Dane tekstowe. — Warsaw : Polskie Towarzystwo Informatyczne, cop. 2016. — (Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 8). — ISBN 978-83-60810-90-3. — S. 1115–1123. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: {https://fedcsis.org/proceedings/2016/pliks/fedcsis.pdf} [2016-10-04]. — Bibliogr. s. 1122–1123, Abstr.. — Afiliacja Autorów zamieszczona przy pełnym tekście

Putnam's model-theoretic argument (meta)reconstructed : in the mirror of Carpintero's and van Douven's interpretations / Krystian JOBCZYK // Synthese ; ISSN 0039-7857. — 2022 vol. 200 iss. 6 art. no. 499, s. 1–37. — Bibliogr. s. 35–37, Abstr.. — Publikacja dostępna online od: 2022-11-24. — Dod. afiliacja Autora: The Saul Kripke Center, CUNY, New York, USA. — tekst: https://link.springer.com/content/pdf/10.1007/s11229-022-03960-z.pdf?pdf=button%20sticky

Selected temporal logic systems: an attempt at engineering evaluation / Krystian JOBCZYK, Antoni LIGĘZA, Krzysztof KLUZA // W: Artificial intelligence and soft computing : 15th international conference, ICAISC 2016 : Zakopane, Poland, June 12–16, 2016 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 9692. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-39377-3 ; e-ISBN: 978-3-319-39378-0. — S. 219–229. — Bibliogr. s. 229, Abstr.. — Toż na Dysku Flash. — K. Jobczyk – dod. afiliacja: University of Caen, France

STRIPS in some temporal-preferential extension / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 1 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10245. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59062-2 ; e-ISBN: 978-3-319-59063-9. — S. 241–252. — Bibliogr. s. 251–252, Abstr.. — K. Jobczyk - dod. afiliacja: University of Basse-Normandie of Caen, France

Supporting BPMN process models with UML sequence diagrams for representing time issues and testing models / Anna Suchenia (Mroczek), Krzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Michał WYPYCH, Antoni LIGĘZA // W: Artificial Intelligence and Soft Computing : 16th International Conference : ICAISC 2017 Zakopane, Poland, June 11–15, 2017 : proceedings, Pt. 2 / eds. Leszek Rutkowski, [et al.]. — Switzerland : Springer International Publishing, cop. 2017. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10246. Lecture Notes in Artificial Intelligence). — Toż na Dysku Flash. — ISBN: 978-3-319-59059-2 ; e-ISBN: 978-3-319-59060-8. — S. 589–598. — Bibliogr. s. 597–598, Abstr.. — K. Jobczyk - dod. afiliacja: University of Caen, France