Exercises
- Exercises #1
- DEFINITE CLAUSE GRAMMARS (DCG)
- DEFINITE CLAUSE GRAMMARS (DCG) (solved)
- Exercises #2
- DESCRIPTION LOGIC
- DESCRIPTION LOGIC (solved)
- Exercises #3
- INDUCTIVE INFERENCE IN PREDICATE LOGIC
- INDUCTIVE INFERENCE IN PREDICATE LOGIC (solved)
- Exercises #4
- INDUCTIVE INFERENCE IN PROPOSITIONAL LOGIC
- INDUCTIVE INFERENCE IN PROPOSITIONAL LOGIC (solved)
- Exercises #5
- LUKASIEWICZ THREE-VALUED LOGIC (L3)
- LUKASIEWICZ THREE-VALUED LOGIC (L3) (solved)
- Exercises #6
- BOX MODEL
- BOX MODEL (solved)
- Exercises #7
- TRANSFORMATION INTO CNF
- TRANSFORMATION INTO CNF (solved)
- Exercises #8
- RESOLUTION IN PREDICATE LOGIC
- RESOLUTION IN PREDICATE LOGIC (solved)
- Exercises #9
- MODAL LOGIC
- MODAL LOGIC (solved)
- Exercises #10
- TABLEAUX IN PREDICATE LOGIC
- TABLEAUX IN PREDICATE LOGIC (solved)
- Exercises #11
- TABLEAUX IN PROPOSITIONAL LOGIC
- TABLEAUX IN PROPOSITIONAL LOGIC (solved)