Wykaz publikacji wybranego autora

Krystian Jobczyk, dr

adiunkt

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

[dyscyplina wiodąca] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-6194-2737

ResearcherID: L-3738-2013

Scopus: 56523352400

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


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

  • 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

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

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

    cyfrowy identyfikator dokumentu:

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

  • keywords: software engineering, UML, BPMN, business process model and notation, DMN, unified modeling language, decision model and notation

    cyfrowy identyfikator dokumentu: 10.15439/2017F454

6
  • 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. Lecture Notes in Artificial Intelligence ; LNAI 10246). — 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

  • brak zdefiniowanych słów kluczowych

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

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

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

    cyfrowy identyfikator dokumentu:

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

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

    cyfrowy identyfikator dokumentu: 10.3233/JIFS-179054

9
  • 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. Lecture Notes in Artificial Intelligence ; LNAI 10246). — 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

  • brak zdefiniowanych słów kluczowych

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

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

11
  • 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 Artificial Intelligence ; ISSN 0302-9743 ; 9693). — 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

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

14
  • 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 Artificial Intelligence ; ISSN 0302-9743 ; 9692). — 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

15
  • 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. Lecture Notes in Artificial Intelligence ; LNAI 10245). — 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

  • brak zdefiniowanych słów kluczowych

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

16
  • 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. Lecture Notes in Artificial Intelligence ; LNAI 10246). — 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

  • brak zdefiniowanych słów kluczowych

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

17
18
19
20
21
  • Towards a new convolution-based approach to the specification of STPU-solutions / 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. 782–789. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 789, Abstr.. — Referat wygłoszony w ramach konferencji: (FUZZ-IEEE) 2016 IEEE International Conference on Fuzzy Systems

  • keywords: Simple Temporal Problem under uncertainty, the Allen's interval relations, lebesgue integral, convolutions

    cyfrowy identyfikator dokumentu:

22