![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/layout.gif) | Artur S. d’Avila Garcez, Dr. Luís C. Lamb, Prof. Dov M. Gabb - Neural-Symbolic Cognitive Reasoning (2009).pdf | 2026-01-07 04:09 | 1.4M | |
| Baader, Franz _Horrocks, Ian _Lutz, Carsten _Sattler, Uli - An Introduction to Description Logic (2017).pdf | 2026-01-07 03:46 | 3.9M | |
| Christel Baier, Joost-Pieter Katoen - Principles of Model Checking (2008).pdf | 2026-01-07 04:06 | 5.2M | |
| Christel Baier, Joost-Pieter Katoen - Principles of Model Checking (Instructor Solution Manual, Solutions) (2008).pdf | 2026-01-07 04:07 | 1.0M | |
![[IMG]](/icons/image2.gif) | Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled - Model checking (1999, MIT Press).djvu | 2026-01-07 03:41 | 1.9M | |
| Halpern, Joseph Y - Reasoning about uncertainty (2017, The MIT Press).pdf | 2026-01-07 03:58 | 4.7M | |
![[ ]](/icons/unknown.gif) | Model Checking (2018, MIT Press).epub | 2026-01-07 04:15 | 14M | |
| Model Checking (2018, MIT Press).pdf | 2026-01-07 04:19 | 18M | |
| Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi - Reasoning About Knowledge (1995, The MIT Press).pdf | 2026-01-07 04:02 | 2.8M | |
| The-Path-to-Artificial-General-Intelligence.pdf | 2026-01-07 06:56 | 22M | |
| Vladimir Vovk, Alexander Gammerman, Glenn Shafer (auth.) - Algorithmic Learning in a Random World (2005, Springer).pdf | 2026-01-07 03:55 | 16M | |
|
|---|