Name		Name	Last commit message	Last commit date
Latest commit History 55 Commits
lab 1		lab 1
lab 10		lab 10
lab 11		lab 11
lab 2		lab 2
lab 3		lab 3
lab 4		lab 4
lab 5		lab 5
lab 6		lab 6
lab 7		lab 7
lab 8		lab 8
lab 9		lab 9
README.md		README.md

Repository files navigation

Knowledge Representation & Reasoning

Table of Contents:

Lab 1 - Constraint Programming
Lab 2 - N Queens + Graph Coloring
Lab 3 - Sudoku + Magic Sequence
Lab 4 - Symmetry Breaking + Reified Constraints
Lab 5 - Search Modeling
Lab 6 - Automated Planning: 101
Lab 7 - Strips + PDDL
Lab 8 - Automated Planning: Fluents
Lab 9 - Probabilistic Programming: 101
Lab 10 - Probabilistic Programming: Diagnosis & Prediction
Lab 11 - Probabilistic Programming: Probabilistic Graphics & Decision Theory

About

second cycle first semester

constraint-programming logic-programming minizinc discrete-optimization problog

Report repository

Releases

No releases published

Packages

Languages

Prolog 100.0%