Title: Web Reasoning and Rule Systems
Subjects: Logic programming, Expert systems (computer science)