Abstract We provide answers to selected exercises in the book Commonsense Reasoning.
Keywords Commonsense reasoning, Event calculus, Answers to exercises
2.2.The expression U[Awake, Asleep] is an abbreviation for the conjunction of the following formulas:
2.3. The following formulas are positive relative to Q:
The following formulas are not positive relative to Q:
3.2. We use a positive ...