Deductive Databases and
nonmonotonic reasoning

Instructor: Carlo Zaniolo



Solutions for Midterm
   Midterm on May 27th: Closed Book
Solutions of Exercises 10.8--10.15.
Similar questions could be in the midterm.
   Topics for presentation and term project
   Due on May 20th:
Exercises 10.3-10.8 in textbook
Bayesian Classifier with boosting loop expressed as
an XY-stratified program

 Course Newsletter: Week 7

Notes on Updates and Active Rules

 Course Newsletter: Week 6

Notes on XY-Stratification
Do Exercises 9.8, 9.9 (due on Wd with
the boosted bayesian classifier)
Notes for week6

 Course Newsletter: Week 5

Notes for week5

 Course Newsletter: Week 4

Solutions of Exercises 8.9, 8.10, 8.12, 8.13, 8.14, 8.15, 8.16,
9.1, 9.2, 9.6 will be collected next week (week 5).
Finish chaper 9, and study the following pages
from the LDL++ Tutorial:
Sets and SetTerms
Builtin Set Aggregates
Duplicates and Aggregates
IF-THEN-ELSE
IF-THEN-ELSE existential variables
User-Defined Aggregates
Read this paper, and write the Boosted Naive Bayesian classifier in LDL++5.0 (due the week after next: week 6).
LDL++5.0 has been installed as /u/class/cs249cz/ldl++/ldl++5.0 ; see the README file in /u/class/cs249cz/ldl++

 Course Newsletter: Week 3

Notes for Week 3

 Course Newsletter: Week 2

Assignement: Exercises 8.8-8.16 in textbook
Notes for Week 2

 Course Newsletter: Week 1

Problems for Week 1