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

  • A multi-agent problem in a new depiction / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 665–676. — Bibliogr. s. 675–676, Abstr.. — K. Jobczyk – dod. afiliacja: University of Caen Normandy. — tekst: https://link-1springer-1com-1000048gm00d3.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_58.pdf

    orcid iD

  • 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

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

    orcid iD

  • 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

3

  • Temporal traveling salesman problem – in a logic- and graph theory-based depiction / Krystian JOBCZYK, Piotr WIŚNIEWSKI, Antoni LIGĘZA // W: Artificial 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — S. 544–556. — Bibliogr. s. 555–556, Abstr.. — Publikacja dostępna online od: 2018-05-11. — K. Jobczyk - pierwsza afiliacja: University of Caen, France. — tekst: https://link-1springer-1com-1000048w3011b.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_48.pdf

    orcid iD

  • 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

4

  • The hybrid plan controller construction for trajectories in Sobolev space / Krystian JOBCZYK, Antoni LIGĘZA // W: Artificial 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. — (Lecture Notes in Computer Science ; ISSN 0302-9743 ; LNCS 10842. Lecture Notes in Artificial Intelligence). — ISBN: 978-3-319-91261-5 ; e-ISBN: 978-3-319-91262-2. — s. 532–543. — Bibliogr. s. 542–543, Abstr.. — K. Jobczyk – dod. afiliacja: University of Caen Normandy. — tekst: https://link-1springer-1com-1000048gm00d3.wbg2.bg.agh.edu.pl/content/pdf/10.1007%2F978-3-319-91262-2_47.pdf

    orcid iD

  • 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