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
  • A fuzzy multi-agent problem in a conceptual and operational depiction
2
  • A multi-agent problem in a new depiction
3
  • A multi-valued simplified Halpern-Shoham-Moszkowski logic for gradable verifiability in reasoning about digital circuits
4
5
  • An epistemic Halpern-Shoham logic for gradable justification
6
  • An epistemic simplified Interval Temporal Logic of Moszkowski for fuzzified justification
7
  • Brief overview of research directions in Artificial Intelligence methods for Business Process Management
8
  • Brief overview of selected research directions and applications of process mining in KRaKEn Research Group
9
  • Comparison of selected modeling notations for process, decision and system modeling
10
  • Dynamic Epistemic Preferential Logic of Action
11
  • Evaluation of selected artificial intelligence technologies for innovative business intelligence applications
12
  • Explainable artificial intelligence
13
  • Exploring constraint programming
14
  • Lindstrøm's characterizability of abstract fuzzy logic systems for convolutions
15
  • Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions
16
  • Multi-valued extension of Putnam-Davis procedure
17
  • Multi-valued preferential Halpern-Shoham logic for relations of Allen and preferences
18
  • New integral approach to the specification of STPU-solutions
19
  • On graph models in knowledge engineering
20
  • Overview of generation methods for business process models
21
  • Overview of time issues with temporal logics for business process models
22
  • Putnam's model-theoretic argument (meta)reconstructed
23
  • Selected temporal logic systems: an attempt at engineering evaluation
24
  • STRIPS in some temporal-preferential extension
25
  • Supporting BPMN process models with UML sequence diagrams for representing time issues and testing models