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

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

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

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

5
  • [referat, 2016]
  • TytułTowards a new convolution-based approach to the specification of STPU-solutions
    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. 782–789

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

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

    cyfrowy identyfikator dokumentu: