Modelling Puzzles in First Order Logic Modelling Puzzles in First Order Logic
٢٠٢١
Mining Intelligence and Knowledge Exploration Mining Intelligence and Knowledge Exploration
٢٠١٨