Papers

Selected recent papers:

  1. 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*)]
  2. 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]
  3. 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] [paper on Researchgate]
  4. 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] [paper on Researchgate]
  5. Ś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] [paper on Researchgate]
  6. Ś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] [paper on Researchgate]
  7. Ś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] [paper on Researchgate]
  8. 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]
  9. 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]
  10. 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]
  11. 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] [paper on Researchgate]
  12. 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.
    [paper on Researchgate]
  13. Adrian, W. T., & Manna, M. (2018). Navigating Online Semantic Resources for Entity Set Expansion. In International Symposium on Practical Aspects of Declarative Languages.
  14. 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]
  15. 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)]
  16. 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)]
  17. 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).
  18. 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)] [paper on Researchgate]
  19. 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)] [paper on Researchgate]
  20. 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)] [paper on Researchgate]

*) Polish Ministry of Science and Higher Education’s points