Title: Automated practical reasoning
Subjects: Automatic theorem proving, Reasoning, Practical reason, Symbolic and mathematical Logic, Computer science, Software engineering, Algebra, Algorithms, Data processing