{"id":29635023,"url":"https://github.com/curiousci/symbolic-ai","last_synced_at":"2025-09-24T01:05:25.876Z","repository":{"id":282774528,"uuid":"949615785","full_name":"CuriousCI/symbolic-ai","owner":"CuriousCI","description":"Artificial Intelligence @ uniroma1","archived":false,"fork":false,"pushed_at":"2025-07-04T15:55:11.000Z","size":3437,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-07-04T16:55:33.691Z","etag":null,"topics":["csp","planning","probabilistic-ai","sat","symbolic-ai"],"latest_commit_sha":null,"homepage":"","language":"Typst","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/CuriousCI.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2025-03-16T20:50:13.000Z","updated_at":"2025-07-04T15:55:15.000Z","dependencies_parsed_at":"2025-07-04T17:05:45.728Z","dependency_job_id":null,"html_url":"https://github.com/CuriousCI/symbolic-ai","commit_stats":null,"previous_names":["curiousci/artificial-intelligence","curiousci/computer-braining","curiousci/symbolic-ai"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/CuriousCI/symbolic-ai","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CuriousCI%2Fsymbolic-ai","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CuriousCI%2Fsymbolic-ai/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CuriousCI%2Fsymbolic-ai/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CuriousCI%2Fsymbolic-ai/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/CuriousCI","download_url":"https://codeload.github.com/CuriousCI/symbolic-ai/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/CuriousCI%2Fsymbolic-ai/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":266332655,"owners_count":23912663,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-07-21T11:47:31.412Z","response_time":64,"last_error":null,"robots_txt_status":null,"robots_txt_updated_at":null,"robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["csp","planning","probabilistic-ai","sat","symbolic-ai"],"created_at":"2025-07-21T16:09:02.989Z","updated_at":"2025-09-24T01:05:20.697Z","avatar_url":"https://github.com/CuriousCI.png","language":"Typst","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Computer Braining \nIA course @ Sapienza\n\n- spurious correlations\n\n- video su un professore che parla di AI e lavoro\n- CSP meetings M (numero di incontri) indipendente da T e S\n\n- [x] E.A.3.1 - Esplorazione di spazi degli stati 1 _(+ soluzione)_\n- [x] E.A.3.2 - Esplorazione di spazi degli stati 2 _(no soluzione)_\n- [ ] E.A.3.3 - Esplorazione di spazi degli stati, HP 2D-Protein Folding _(- soluzione)_\n\n- [ ] E.A.4.1 - Algoritmi a miglioramento iterativo, N-Queens _(- soluzione)_\n- [ ] E.A.4.2 - Algoritmi a miglioramento iterativo, HP 2D-Protein Folding _(- soluzione)_\n\n- [x] E.A.5.1 - CSP, steepest descent _(no soluzione)_\n- [x] E.A.5.2 - CSP, N-Queens _(+ soluzione)_\n- [x] E.A.5.3 - CSP, Edge colouring _(+ soluzione)_ _(+ video)_\n- [x] E.A.5.4 - CSP, Generalised Arc-Consistency _(+ video)_\n- [x] E.A.5.5 - CSP, Backtracking e Propagazione di Vincoli _(+ video)_\n- [x] E.A.5.6 - CSP, Cards _(+ soluzione)_ _(+ video)_\n- [x] E.A.5.7 - CSP, Cards 2 _(+ soluzione)_ _(+ video)_\n- [x] E.A.5.8 - CSP, Social Golfers _(+ soluzione)_ _(+ video)_\n- [ ] E.A.5.9 - CSP, Meetings _(- soluzione)_\n- [ ] E.A.5.10 - CSP, Protein Folding\n\n- [x] E.A.6.1 - Logica proposizionale, Risoluzione 1 _(+ video)_\n- [x] E.A.6.2 - Logica proposizionale, Risoluzione 2 (no soluzione)\n- [x] E.A.6.3 - Logica proposizionale, DPLL 1 _(+ soluzione)_\n- [x] E.A.6.4 - SAT, N-Queens _(+ soluzione)_\n- [x] E.A.6.5 - SAT, Schur's lemma _(+ video)_\n- [x] E.A.6.6 - SAT, Edge colouring _(+ video)_\n- [x] E.A.6.7 - SAT, HC-VIP _(+ soluzione)_ _(+ video)_\n- [x] E.A.6.8 - SAT, Graph colouring with red self-loops _(+ soluzione)_\n- [x] E.A.6.9 - SAT, Cards _(no soluzione)_\n- [x] E.A.6.10 - SAT, Cards 2 _(no soluzione)_\n- [ ] E.A.6.11 - SAT, Meetings _(- soluzione)_\n- [ ] E.A.6.12 - SAT, Rostering _(- soluzione)_\n- [ ] E.A.6.13 - SAT, Il mondo del Wumpus _(- soluzione)_\n\n- [x] E.B.1.1 - FOL, Studenti ansiosi, modelling _(~ soluzione)_\n- [ ] E.B.1.2 - FOL, Studenti ansiosi, inferenza _(- soluzione)_\n- [x] E.B.1.3 - FOL, Aldo, modelling _(~ soluzione)_\n- [x] E.B.1.4 - FOL, Aldo, inferenza _(- soluzione)_\n- [ ] E.B.1.5 - FOL, Club delle Alpi, modelling e inferenza _(- soluzione)_\n\n- [ ] E.B.2.1 - PDDL, Torri di Hanoi, modelling _(- soluzione)_\n- [ ] E.B.2.2 - PDDL, Domino, modelling _(- soluzione)_\n- [ ] E.B.2.3 - PDDL, Water _(- soluzione)_\n- [ ] E.B.2.4 - PDDL, Torri di Hanoi, codifica SATPlan _(- soluzione)_\n\n- [ ] E.B.3.2.2.1 - BN, I Rossi, Modelling _(- soluzione)_\n- [ ] E.B.3.2.2.2 - BN, I Rossi, Inferenza _(- soluzione)_\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcuriousci%2Fsymbolic-ai","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcuriousci%2Fsymbolic-ai","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcuriousci%2Fsymbolic-ai/lists"}