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: 21, z ogólnej liczby 28 publikacji Autora


1
  • A multi-agent problem in a new depiction
2
  • An epistemic Halpern-Shoham logic for gradable justification
3
  • An epistemic simplified Interval Temporal Logic of Moszkowski for fuzzified justification
4
  • Brief overview of research directions in Artificial Intelligence methods for Business Process Management
5
  • Comparison of selected modeling notations for process, decision and system modeling
6
  • Dynamic Epistemic Preferential Logic of Action
7
  • Exploring constraint programming
8
  • Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions
9
  • Multi-valued extension of Putnam-Davis procedure
10
  • Multi-valued preferential Halpern-Shoham logic for relations of Allen and preferences
11
  • New integral approach to the specification of STPU-solutions
12
  • Overview of generation methods for business process models
13
  • Overview of time issues with temporal logics for business process models
14
  • Selected temporal logic systems: an attempt at engineering evaluation
15
  • STRIPS in some temporal-preferential extension
16
  • Supporting BPMN process models with UML sequence diagrams for representing time issues and testing models
17
  • Temporal traveling salesman problem – in a logic- and graph theory-based depiction
18
  • The hybrid plan controller construction for trajectories in Sobolev space
19
  • The natural transformations with fuzzified commutativity
20
  • Towards a new convolution-based approach to the specification of STPU-solutions
21
  • Towards knowledge interoperability between the UML, DMN, BPMN and CMMN models