Title: Nonmonotonic logic
Subjects: Artificial intelligence, Optoelectronics, Reasoning