Title: Conditional logic in expert systems
Subjects: Expert systems (Computer science), Symbolic and mathematical Logic