The Formalization of Practical Reasoning: Problems and Prospects.

Richmond H. Thomason

Published in: FLAP (2014)

Keyphrases

reasoning problems
description logics
decision procedures
computational properties
knowledge representation
reasoning tasks
tree decomposition
machine learning
data structure