Both sides previous revision
Previous revision
|
Next revision
Both sides next revision
|
en:dydaktyka:krr:start [2018/04/19 14:42] msl [Projects] |
en:dydaktyka:krr:start [2018/05/15 11:30] ligeza [Lectures 2018] |
- **Knapsack model and Cumulative constraints. Practical applications of Constraint Programming. Some theory: Constraint propagation.** [27.03.2018; Ali] | - **Knapsack model and Cumulative constraints. Practical applications of Constraint Programming. Some theory: Constraint propagation.** [27.03.2018; Ali] |
- [3.04.2018 - Easter breake] | - [3.04.2018 - Easter breake] |
- Techniques for Constraint Propagation [10.04.2018; ALi] | - **Techniques for Constraint Propagation** [10.04.2018; ALi] |
- Knowledge Representation with Logic. Propositional Calculus [17.04.2018; ALi] | - **Knowledge Representation with Logic. Propositional Calculus.** [17.04.2018; ALi] |
- Reasoning in Propositional Calculus. Resolution Method. Introduction to SAT. [24.04.2018; ALi] | - **Reasoning in Propositional Calculus. Resolution Method. Introduction to SAT.** [24.04.2018; ALi] |
- [1.05.2018 - Holidays] | - [1.05.2018 - Holidays] |
- SAT: problems, techniques, tools and example applications. [8.05.2018; invited presentation] | - **SAT: problems, techniques, tools and example applications.** [8.05.2018; invited presentation] |
- Knowledge Representation with Logic. First-Order Predicate Calculus [15.05.2018; ALi] | - **Knowledge Representation with Logic. First-Order Predicate Calculus.** [15.05.2018; ALi] |
- Logic Programming and Prolog. [22.05.2018; ALi] | - Logic Programming and Prolog. [22.05.2018; ALi] |
- Uncertain and imprecise KRR. Probabilistic Reasoning and Fuzzy Sets. [29.05.2018; ALi] | - Uncertain and imprecise KRR. Probabilistic Reasoning and Fuzzy Sets. [29.05.2018; ALi] |