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)





Liczba pozycji spełniających powyższe kryteria selekcji: 34, z ogólnej liczby 41 publikacji Autora


1
  • [referat, 2020]
  • TytułA fuzzy multi-agent problem in a conceptual and operational depiction
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA
    ŹródłoArtificial 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. — S. 346–356
2
  • [referat, 2018]
  • TytułA multi-agent problem in a new depiction
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA
    ŹródłoArtificial 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. — S. 665–676
3
  • [artykuł w czasopiśmie, 2021]
  • TytułA multi-valued simplified Halpern-Shoham-Moszkowski logic for gradable verifiability in reasoning about digital circuits
    AutorzyKrystian JOBCZYK
    ŹródłoElectronics [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2021 vol. 10 iss. 15 art. no. 1817, s. 1-27. — tekst: https://www.mdpi.com/2079-9292/10/15/1817/pdf
4
5
  • [referat, 2018]
  • TytułAn epistemic Halpern-Shoham logic for gradable justification
    AutorzyKrystian Adam JOBCZYK, Antoni LIGĘZA
    ŹródłoIEEE international conference on Fuzzy Systems (FUZZ-IEEE) [Dokument elektroniczny] : [8–13 July 2018, Rio de Janeiro, Brazil] : proceedings. — USA : IEEE, cop. 2018. — S. [1–8]
6
  • [referat, 2019]
  • TytułAn epistemic simplified Interval Temporal Logic of Moszkowski for fuzzified justification
    AutorzyKrystian Adam JOBCZYK, Antoni LIGĘZA
    ŹródłoFUZZ IEEE 2019 [Dokument elektroniczny] : 2019 IEEE international conference on Fuzzy systems : New Orleans, Louisiana, USA, June 23–26, 2019. — Piscataway : IEEE, cop. 2019. — S. [1–8]
7
  • [referat, 2019]
  • TytułBrief overview of research directions in Artificial Intelligence methods for Business Process Management
    AutorzyKrzysztof KLUZA, Piotr WIŚNIEWSKI, Weronika T. ADRIAN, Antoni LIGĘZA, Marek ADRIAN, Bernadetta STACHURA-TERLECKA, Krystian JOBCZYK
    ŹródłoPP-RAI'2019 [Dokument elektroniczny] : Polskie Porozumienie na rzecz Rozwoju Sztucznej Inteligencji : 16–18.10.2019, Wrocław : conference proceedings. — [Wrocław : Faculty of Electronics. Wroclaw University of Science and Technology], cop. 2019. — S. [256–259]
8
  • [fragment książki, 2023]
  • TytułBrief overview of selected research directions and applications of process mining in KRaKEn Research Group
    AutorzyKrzysztof 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
    ŹródłoProgress in Polish artificial intelligence research 4 [Dokument elektroniczny] / ed. by Adam Wojciechowski, Piotr Lipiński. — Łódź : Łódź University of Technology Press, 2023. — S. 151–156
9
  • [referat, 2017]
  • TytułComparison of selected modeling notations for process, decision and system modeling
    AutorzyKrzysztof KLUZA, Piotr WIŚNIEWSKI, Krystian JOBCZYK, Antoni LIGĘZA, Anna Suchenia (Mroczek)
    ŹródłoFedCSIS [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. — [Piscataway] : PTI, IEEE, [2017]. — S. 1111–1114
10
  • [referat, 2017]
  • TytułDynamic Epistemic Preferential Logic of Action
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA
    ŹródłoArtificial 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. — S. 243–254
11
  • [referat, 2022]
  • TytułEvaluation of selected artificial intelligence technologies for innovative business intelligence applications
    AutorzyAntoni LIGĘZA, Krzysztof KLUZA, Paweł JEMIOŁO, Dominik SEPIOŁO, Piotr WIŚNIEWSKI, Krystian JOBCZYK
    ŹródłoAdvances 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. — S. 111–126
12
  • [fragment monografii pokonferencyjnej, 2021]
  • TytułExplainable artificial intelligence : model discovery with constraint programming
    AutorzyAntoni LIGĘZA, Paweł JEMIOŁO, Weronika T. ADRIAN, Mateusz ŚLAŻYŃSKI, Marek ADRIAN, Krystian JOBCZYK, Krzysztof KLUZA, Bernadetta STACHURA-TERLECKA, Piotr WIŚNIEWSKI
    ŹródłoIntelligent systems in industrial applications / eds. Martin Stettinger, [et al.]. — Cham : Springer, cop. 2021. — S. 171–191
13
  • [referat, 2019]
  • TytułExploring constraint programming : approaching a practical optimization problem
    AutorzyWeronika 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
    ŹródłoPP-RAI'2019 [Dokument elektroniczny] : Polskie Porozumienie na rzecz Rozwoju Sztucznej Inteligencji : 16–18.10.2019, Wrocław : conference proceedings. — [Wrocław : Faculty of Electronics. Wroclaw University of Science and Technology], cop. 2019. — S. [397–400]
14
  • [referat, 2023]
  • TytułLindstrøm's characterizability of abstract fuzzy logic systems for convolutions
    AutorzyKrystian JOBCZYK, Krzysztof KLUZA
    ŹródłoFUZZ-IEEE 2023 [Dokument elektroniczny] : 2023 IEEE International conference on Fuzzy systems (FUZZ) : [13–17 August 2023, Incheon, Republic of Korea] : proceedings. — [Piscataway] : IEEE, cop. 2023. — S. [1–6]
15
  • [artykuł w czasopiśmie, 2019]
  • TytułMulti-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions
    AutorzyKrystian JOBCZYK
    ŹródłoJournal of Intelligent & Fuzzy Systems. — 2019 vol. 36 iss. 5 spec. iss. Intelligent and Fuzzy Systems applied to Language & Knowledge Engineering, s. 5091-5103
16
  • [referat, 2017]
  • TytułMulti-valued extension of Putnam-Davis procedure
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA
    ŹródłoArtificial 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. — S. 454–465
17
  • [referat, 2016]
  • TytułMulti-valued preferential Halpern-Shoham logic for relations of Allen and preferences
    AutorzyKrystian Adam JOBCZYK, Antoni LIGĘZA
    Źródło(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. — Piscataway, NJ : IEEE, cop. 2016. — S. 217–224
18
  • [referat, 2016]
  • TytułNew integral approach to the specification of STPU-solutions
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA, Krzysztof KLUZA
    ŹródłoArtificial 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. — S. 317–328
19
  • [fragment książki, 2023]
  • TytułOn graph models in knowledge engineering
    AutorzyAntoni 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
    ŹródłoNauka – technika – technologia [Dokument elektroniczny] : seria wydawnicza AGH, T. 8. — Kraków : Wydawnictwa AGH, 2023. — S. 97–112
20
  • [referat, 2019]
  • TytułOverview of generation methods for business process models
    AutorzyPiotr WIŚNIEWSKI, Krzysztof KLUZA, Krystian JOBCZYK, Bernadetta STACHURA-TERLECKA, Antoni LIGĘZA
    ŹródłoKnowledge 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. — S. 55–60
21
  • [referat, 2016]
  • TytułOverview of time issues with temporal logics for business process models
    AutorzyKrzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Antoni LIGĘZA
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : 11–14 September, 2016, Gdansk, Poland : book of abstracts. — [Poland : s. n.], [2016]. — S. 90
22
23
  • [referat, 2016]
  • TytułSelected temporal logic systems: an attempt at engineering evaluation
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA, Krzysztof KLUZA
    ŹródłoArtificial 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. — S. 219–229
24
  • [referat, 2017]
  • TytułSTRIPS in some temporal-preferential extension
    AutorzyKrystian JOBCZYK, Antoni LIGĘZA
    ŹródłoArtificial 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. — S. 241–252
25
  • [referat, 2017]
  • TytułSupporting BPMN process models with UML sequence diagrams for representing time issues and testing models
    AutorzyAnna Suchenia (Mroczek), Krzysztof KLUZA, Krystian JOBCZYK, Piotr WIŚNIEWSKI, Michał WYPYCH, Antoni LIGĘZA
    ŹródłoArtificial 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. — S. 589–598