Wykaz publikacji wybranego autora

Krystian Jobczyk, dr

adiunkt

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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-6194-2737 orcid iD

ResearcherID: L-3738-2013

Scopus: 56523352400

PBN: 5e7093b6878c28a0473af9c5

OPI Nauka Polska

System Informacyjny AGH (SkOs)



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem343247
20234211
2022312
20213111
2020321
2019752
201844
201755
201655
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem3434
202344
202233
202133
202033
201977
201844
201755
201655
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem34529
2023422
202233
202133
202033
2019725
201844
201755
2016514
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem34628
2023413
2022321
2021312
2020312
2019716
201844
201755
201655
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem3434
202344
202233
202133
202033
201977
201844
201755
201655
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem3434
202344
202233
202133
202033
201977
201844
201755
201655



1
  • 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

    orcid iD
  • keywords: PROLOG, nurse job scheduling problem, fuzzy multi-agent problem, Multi-Agent Problem

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-61534-5_31

2
  • 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

3
  • 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

    orcid iD
  • keywords: Halpern–Shoham logic, interval temporal logic of Moszkowski, gradable varifiability, multi-valued logic, reasoning about digital circuits

    cyfrowy identyfikator dokumentu: 10.3390/electronics10151817

4
5
  • 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

6
  • 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

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2019.8859016

7
  • 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.

    orcid iD
  • keywords: information systems, artificial intelligence, business process management, business process models

    cyfrowy identyfikator dokumentu:

8
9
  • 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}

    orcid iD
  • keywords: software engineering, UML, BPMN, business process model and notation, DMN, decision model and notation, Unified Modelling Language

    cyfrowy identyfikator dokumentu: 10.15439/2017F454

10
  • 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

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_23

11
  • 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

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-92604-5_11

12
  • 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

    orcid iD
  • keywords: model discovery, constraint programming, model based reasoning, structure discovery, causal modeling, explainable artificial intelligence

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-67148-8_13

13
  • 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.

    orcid iD
  • keywords: simulated annealing, constraint programming, discrete optimization, declarative programming, answer set programming

    cyfrowy identyfikator dokumentu:

14
  • 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

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ52849.2023.10309723

15
  • 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.

    orcid iD
  • keywords: Halpern-Shoham logic, fuzzy deontic temporal expressions, fuzzy temporal logic, multi-valued deontic logic

    cyfrowy identyfikator dokumentu: 10.3233/JIFS-179054

16
  • 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

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_41

17
  • 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

  • keywords: preferences, temporal interval relations of Allen, multi-valued Halpern-Shoham logic

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2016.7737690

18
  • 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

  • keywords: fuzzy logic, simple temporal problem under uncertainty, integral approach, specification of solutions

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39384-1_27

19
20
21
  • 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

  • keywords: BPMN, business processes, temporal logics, temporal issues, time patterns

    cyfrowy identyfikator dokumentu: 10.15439/2016F328

22
  • 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

    orcid iD
  • keywords: Skolem-Loewenheim theorem, global descriptivism, model-theoretic argument, Putnam's anti-realism, Carpintero's interpretation of the model-theoretic argument, van Douven's interpretation of the model-theoretic argument

    cyfrowy identyfikator dokumentu: 10.1007/s11229-022-03960-z

23
  • 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

  • keywords: Linear Temporal Logic, engineering evaluation, fuzzy time tempora logic, Fuzzy Linear Temporal Logic

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-39378-0_20

24
  • 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

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59063-9_22

25
  • 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

    orcid iD
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-59060-8_53