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)

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

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

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

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

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

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

  • 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
  • [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]

  • 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: Antoni Ligęza

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2018.8491586

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]

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2019.8859016

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

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

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

    cyfrowy identyfikator dokumentu: 10.15439/2017F454

8
  • [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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

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

9
  • [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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Krzysztof Kluza, Piotr Wiśniewski, Paweł Jemioło, Dominik Sepioło

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

10
11
  • [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]

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Krzysztof Kluza

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ52849.2023.10309723

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

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

    cyfrowy identyfikator dokumentu: 10.3233/JIFS-179054

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

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

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

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ-IEEE.2016.7737690

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

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Krzysztof Kluza

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

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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Krzysztof Kluza, Piotr Wiśniewski, Bernadetta Stachura-Terlecka

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-29563-9_6

17
  • [artykuł w czasopiśmie, 2022]
  • TytułPutnam's model-theoretic argument (meta)reconstructed : in the mirror of Carpintero's and van Douven's interpretations
    AutorzyKrystian JOBCZYK
    ŹródłoSynthese. — 2022 vol. 200 iss. 6 art. no. 499, s. 1–37. — tekst: https://link.springer.com/content/pdf/10.1007/s11229-022-03960-z.pdf?pdf=button%20sticky

  • 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

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

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

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Krzysztof Kluza

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

19
  • [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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

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

20
  • [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

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Krzysztof Kluza, Michał Wypych, Piotr Wiśniewski

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

21
  • [referat, 2018]
  • TytułTemporal traveling salesman problem – in a logic- and graph theory-based depiction
    AutorzyKrystian JOBCZYK, Piotr WIŚNIEWSKI, 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. 544–556

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza, Piotr Wiśniewski

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

22
  • [artykuł w czasopiśmie, 2020]
  • TytułThe fuzzified natural transformation between categorial functors and its selected categorial aspects
    AutorzyKrystian JOBCZYK
    ŹródłoSymmetry [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2020 vol. 12 iss. 9 art. no. 1578, s. 1–18. — tekst: https://www.mdpi.com/2073-8994/12/9/1578/pdf

  • keywords: combinatorics, fuzzy mathematics, fuzzy category theory, natural transformation

    cyfrowy identyfikator dokumentu: 10.3390/sym12091578

23
24
  • [referat, 2018]
  • TytułThe hybrid plan controller construction for trajectories in Sobolev space
    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. 532–543

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Antoni Ligęza

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

25
  • [referat, 2021]
  • TytułThe Lindstrøm-type characterization of Hajek’s fuzzy logic of integrals
    AutorzyKrystian Adam JOBCZYK
    ŹródłoFUZZ-IEEE 2021 [Dokument elektroniczny] : 2021 IEEE international conference on Fuzzy systems : 11–14 July 2021, Luxembourg. — Piscataway : IEEE, cop. 2021. — S. [1–8]

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ45933.2021.9494394