A knowledge-based system solving Knights and Knaves puzzles using propositional logic and model checking to demonstrate AI concepts like symbolic reasoning and knowledge representation. ... resolution ...

All 2,982 Jupyter Notebook 1,653 Python 804 Java 93 HTML 82 R ... feature-engineering kmeans-clustering dbscan-clustering customer-segmentation arima-forecasting gmm-clustering bilstm-model ...