Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
en:dydaktyka:krr:start [2018/04/19 12:42]
msl [Projects]
en:dydaktyka:krr:start [2018/05/15 09:30] (current)
ligeza [Lectures 2018]
Line 11: Line 11:
   - **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]
en/dydaktyka/krr/start.txt · Last modified: 2018/05/15 09:30 by ligeza
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0