Arguably all AI reasoning uses Boolean logic , however in some systems, this is more up-front and part of the high-level representation. Typically logic rules have to be relatively simple to be capable of fully automated reasoning, for example Prolog uses Horn clauses and in the semantic web there are more or less tractable variants of OWL.
Used in Chap. 1: page 2; Chap. 22: page 346
Used in glossary entries: logic rules, OWL, Prolog, reasoning, semantic web