Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Computational Extraction of Legal Causes via al-Sabr wa al-Taqsim: A Set-Theoretic Formalization for Closed Fiqh Chapters
Elnaser Abdelwahab
This paper presents a set-theoretic formalization of the classical usuli method of al-Sabr wa al-Taqsim (Examination and Division) for extracting legal causes ('ilal) within closed…
cs.AI2016
The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem
Elnaserledinellah Mahmood Abdelwahab, Karim Daghbouche, Nadra Ahmad Shannan
The historic background of algorithmic processing with regard to etymology and methodology is translated into terms of mathematical logic and Computer Science. A formal logic struc…