Papers

Selected recent papers:

• Jobczyk, K., & Gałczyński, P. (2019). The natural transformations with fuzzified commutativity. In Proceedings of 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
  [CORE A conference, 140 pts^*]
• Jobczyk, K., & Ligęza, A. (2019). An Epistemic Simplified Interval Temporal Logic of Moszkowski for Fuzzified Justification. In Proceedings of 2019 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
  [CORE A conference, 140 pts]
• Kluza, K., & Nalepa, G. J. (2019). Formal model of business processes integrated with business rules. Information Systems Frontiers, 21(5), 1167-1185.
  [IF 3.232, 100 pts] [Researchgate]
• Jobczyk, K. (2019). Multi-valued deontic Halpern-Shoham logic for fuzzy deontic-temporal expressions. Journal of Intelligent & Fuzzy Systems, 36(5), 5091-5103.
  [IF 1.637, 70 pts] [Researchgate]
• Ślażyński, M. (2019). Research report on automatic synthesis of local search neighborhood operators. In Proceedings of ICLP 2019.
  [CORE A conference, 140 pts] [Researchgate]
• Ślażyński, M., Abreu, S., & Nalepa, G. J. (2019). Generating Local Search Neighborhood with Synthesized Logic Programs. In Proceedings of ICLP 2019.
  [CORE A conference, 140 pts] [Researchgate]
• Ślażyński, M., Abreu, S., & Nalepa, G. J. (2019). Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure. In Proceedings of GECCO 2019.
  [CORE A conference, 140 pts] [Researchgate]
• Wiśniewski, P., Kluza, K., Jobczyk, K., Stachura-Terlecka, B., & Ligęza, A. (2019). Overview of Generation Methods for Business Process Models. In International Conference on Knowledge Science, Engineering and Management (KSEM)
  [CORE B conference, 70 pts]
• Kluza, K., Adrian, W. T., Wiśniewski, P., & Ligęza, A. (2019). Understanding Decision Model and Notation: DMN Research Directions and Trends. In Proceedings of International Conference on Knowledge Science, Engineering and Management (KSEM)
  [CORE B conference, 70 pts]
• Jobczyk, K., & Ligęza, A. (2018). An epistemic halpern-shoham logic for gradable justification. In Proceedings of 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
  [CORE A conference, 140 pts]
• Wiśniewski, P., Kluza, K., & Ligęza, A. (2018). An approach to participatory business process modeling: BPMN model generation using constraint programming and graph composition. Applied Sciences, 8(9), 1428.
  [IF 1.689, 70 pts] [Researchgate]
• Adrian, W. T., Alviano, M., Calimeri, F., Cuteri, B., Dodaro, C., Faber, W., Fuscà, D., Leone, N., Manna, M., Perri, S., Ricca, F., Veltri, P., Zangari, J. (2018). The ASP system DLV: Advancements and Applications. In Proceedings of KI-Künstliche Intelligenz, 32(2-3), 177-179.
  [Researchgate]
• Adrian, W. T., & Manna, M. (2018). Navigating Online Semantic Resources for Entity Set Expansion. In International Symposium on Practical Aspects of Declarative Languages.
• Abdullah, U., Ligęza, A., & Zafar, K. (2017). Performance evaluation of rule‐based expert systems: An example from medical billing domain. Expert Systems, 34(6)
  [IF 1.505, 70 pts]
• Kluza, K., & Nalepa, G. J. (2017). A method for generation and design of business processes with business rules. Information and Software Technology, 91, 123-141.
  [IF 2.627, 35 pts (now 140 pts)]
• Ligęza, A. (2017). An experiment in causal structure discovery. a constraint programming approach. In Proceedings of International Symposium on Methodologies for Intelligent Systems (pp. 261-268). Springer, Cham.
  [CORE C conference, 15 pts (now 20 pts)]
• Adrian, W. T., Manna, M., Leone, N., Amendola, G., & Adrian, M. (2018). Entity set expansion from the web via ASP. In Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017).
• Szpyrka, M., Nalepa, G. J., & Kluza, K. (2017). From Process Models to Concurrent Systems in Alvis Language. Informatica, 28(3), 525-545.
  [IF 1.386, 25 pts (now 70 pts)] [Researchgate]
• Fuster-Parra, P., Tauler, P., Bennasar-Veny, M., Ligęza, A., Lopez-Gonzalez, A. A., & Aguilo, A. (2016). Bayesian network modeling: A case study of an epidemiologic system analysis of cardiovascular risk. Computer methods and programs in biomedicine, 126, 128-142.
  [IF 3.424, 30 pts (now 100 pts)] [Researchgate]
• Bobek, S., Nalepa, G. J., Ligęza, A., Adrian, W. T., & Kaczor, K. (2016). Mobile context-based framework for threat monitoring in urban environment with social threat monitor. Multimedia Tools and Applications, 75(17), 10595-10616.
  [IF 2.101, 25 pts (now 70pts)] [Researchgate]

^* Ministry of Education and Science points