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

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

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

    cyfrowy identyfikator dokumentu:

8
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

  • 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

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

  • 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

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

  • 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

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

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

    cyfrowy identyfikator dokumentu:

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]

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: 10.1109/FUZZ52849.2023.10309723

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

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

    cyfrowy identyfikator dokumentu: 10.3233/JIFS-179054

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

  • 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

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

  • 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

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

  • 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

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

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

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

    cyfrowy identyfikator dokumentu: 10.15439/2016F328

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

  • 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

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

  • 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

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

  • 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