Mohimenul Kabir

I am a Research Fellow at Monash University, Australia, where I am fortunate to be advised by Peter Stuckey and Alexey Ignatiev.

My research topics include Neuro-Symbolic Reasoning, Answer Set Programming, Logic Programming, Formal Method, Metaheuristic.

Here is my CV. You can reach me at mahibuet045@gmail.com.

Education

PhD in Computer Science, School of Computing, National University of Singapore
- Thesis Advisor: Kuldeep S. Meel
- Duration: 2020-2026
B.Sc. degree in Computer Science & Engineering at Bangladesh University of Engineering & Technology (BUET)
- Thesis Supervisor: M Sohel Rahman
- Duration: 2013-2017

Publications

Mohimenul Kabir, Supratik Chakraborty, and Kuldeep S. Meel. “Counting Answer Sets of Disjunctive Answer Set Programs.” ICLP 2025 (TPLP special issue) (paper, code, slide)
Mohimenul Kabir, and Kuldeep S. Meel. “A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets.” ICLP 2025 (paper, tool, slide)
Mohimenul Kabir, and Kuldeep S. Meel. “An ASP-Based Framework for MUSes.” ICLP 2025 (paper, tool, slide)
Mohimenul Kabir, Van-Giang Trinh, Samuel Pastva, and Kuldeep S. Meel. “Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks.” CP 2025 (paper, code,slide)
Mohimenul Kabir, Jaiaid Mobin, Ahmad Hassanat, and M. Sohel Rahman. “Image Contrast Enhancement using Fuzzy Logic with Metaheuristics.” In Proceedings of the 11th International Conference on Networking, Systems, and Security, pp. 163-171. 2024. (Paper, code, slide) (Best Student Paper Award of NSysS 2024)
Mohimenul Kabir, and Kuldeep S. Meel. “On Lower Bounding Minimal Model Count.” Theory and Practice of Logic Programming (Paper, code, slide) (Best Paper Award of ICLP 2024)
Mohimenul Kabir, Supratik Chakraborty, and Kuldeep S. Meel. “Exact ASP Counting with Compact Encodings.” In Proceedings of the AAAI Conference on Artificial Intelligence, vol. 38, no. 9, pp. 10571-10580. 2024. (Paper,code,poster) (Invited for MCW 2024)
Mohimenul Kabir and Kuldeep S. Meel. “A Fast and Accurate ASP Counting Based Network Reliability Estimator.” In Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 94, pp. 270-287. 2023. (Paper) (Invited for MCW 2023)
Mohimenul Kabir, Jaiaid Mobin, Muhammad Ali Nayeem, Muhammad Ahsanul Habib, and M. Sohel Rahman. “Multi-objective optimization and heuristic based solutions for evacuation modeling.” Transportation Research Interdisciplinary Perspectives (2023). (Paper)
Mohimenul Kabir, Everardo, F. O., Shukla, A. K., Hecher, M., Fichte, J. K., & Meel, K. S. (2022). ApproxASP – a Scalable Approximate Answer Set Counter. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 5755-5764. (Paper,code) (Invited for presentation in ICLP 2022 and SAT + SMT 2022)
Tripto, Nafis Irtiza, Mohimenul Kabir, Md Shamsuzzoha Bayzid, and Atif Rahman. “Evaluation of classification and forecasting methods on time series gene expression data.” Plos one 15, no. 11 (2020): e0241686. (Paper)
Akon, Mujtahid, Muntashir Akon, Mohimenul Kabir, M. Saifur Rahman, and M. Sohel Rahman. “ADACT: a tool for analysing (dis) similarity among nucleotide and protein sequences using minimal and relative absent words.” Bioinformatics (2020). (Paper)
Azim, Md Aashikur Rahman, Mohimenul Kabir, and M. Sohel Rahman. “A simple, fast, filter-based algorithm for circular sequence comparison.” International Workshop on Algorithms and Computation. Springer, Cham, 2018. (Paper)

Preprint

Mohimenul Kabir (2024). Minimal Model Counting via Knowledge Compilation. (Paper)

Theme