Krystian Jobczyk

Int. J. Approx. Reason., December, 2023

The Lindstrom's Characterizability of Abstract Logic Systems for Analytic Structures Based on Measures.

[BibT_eX]

[DOI]

Mirna Dzamonja

CoRR, 2023

Lindstrøm's Characterizability of Abstract Fuzzy Logic Systems for Convolutions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2023

2022

The Fuzzy Natural Transformations, the Algebra P(ω)/fin and Generalized Encoding Theory.

[BibT_eX]

[DOI]

IEEE Access, 2022

2021

The LindstrØm-Type Characterization of Hajek's Fuzzy Logic of Integrals.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

2020

The Fuzzified Natural Transformation between Categorial Functors and Its Selected Categorial Aspects.

[BibT_eX]

[DOI]

Symmetry, 2020

The Fuzzy Relations between Intervals in a Convolution-based Depiction.

[BibT_eX]

[DOI]

Res. Comput. Sci., 2020

A Fuzzy Multi-Agent Problem: A General Depiction and its Logic Programming-based Application.

[BibT_eX]

[DOI]

Patryk Galczynski

Bernadetta Stachura-Terlecka

Computación y Sistemas, 2020

Explainable Artificial Intelligence. Model Discovery with Constraint Programming.

[BibT_eX]

[DOI]

Piotr Wisniewski

Proceedings of the Intelligent Systems in Industrial Applications, 2020

A Fuzzy Multi-Agent Problem in a Conceptual and Operational Depiction.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2020

The Natural Transformations with the Multi-Fuzzy Commutativity Condition.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Fuzzy Systems, 2020

2019

Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions.

[BibT_eX]

[DOI]

J. Intell. Fuzzy Syst., 2019

Overview of Generation Methods for Business Process Models.

[BibT_eX]

[DOI]

Piotr Wisniewski

Bernadetta Stachura-Terlecka

Proceedings of the Knowledge Science, Engineering and Management, 2019

An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

The natural transformations with fuzzified commutativity.

[BibT_eX]

[DOI]

Patryk Gaiczynski

Proceedings of the 2019 IEEE International Conference on Fuzzy Systems, 2019

2018

A Multi-Agent Problem in a New Depiction.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2018

The Hybrid Plan Controller Construction for Trajectories in Sobolev Space.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2018

Temporal Traveling Salesman Problem - in a Logic- and Graph Theory-Based Depiction.

[BibT_eX]

[DOI]

Piotr Wisniewski

Proceedings of the Artificial Intelligence and Soft Computing, 2018

An Epistemic Halpern-Shoham Logic for Gradable Justification.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2017

Temporal planning with fuzzy constraints and preferences. (Planification temporelle avec les contraintes floues et préférences).

[BibT_eX]

[DOI]

PhD thesis, 2017

Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2017

Multi-valued Extension of Putnam-Davis Procedure.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2017

Dynamic Epistemic Preferential Logic of Action.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2017

STRIPS in Some Temporal-Preferential Extension.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2017

Comparison of Selected Modeling Notations for Process, Decision and System Modeling.

[BibT_eX]

[DOI]

Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016

New Integral Approach to the Specification of STPU-Solutions.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2016

Selected Temporal Logic Systems: An Attempt at Engineering Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2016

Why Systems of Temporal Logic Are Sometimes (Un)useful?

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Soft Computing, 2016

Towards a new convolution-based approach to the specification of STPU-solutions.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

Multi-Valued Preferential Halpern-Shoham logic for relations of Allen and preferences.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

Overview of Time Issues with Temporal Logics for Business Process Models.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

A General Method of the Hybrid Controller Construction for Temporal Planning with Preferences.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015

Fuzzy-temporal approach to the handling of temporal interval relations and preferences.

[BibT_eX]

[DOI]

Jerzy Karczmarczuk

Proceedings of the International Symposium on Innovations in Intelligent SysTems and Applications, 2015

Temporal planning in terms of a fuzzy integral logic (FLI) versus temporal planning in PDDL.

[BibT_eX]

[DOI]