Human reasoning is heterogeneous. Whether reasoning formally or informally, human
reasoners frequently and effortlessly switch between many problem representations …

We describe Slate, a logic-based, robust interactive reasoning system that allows human
“pilots” to harness an ensemble of intelligent agents in order to construct, test, and express …

Research in hybrid logic systems and, later, description logics, has revealed a tradeoff
between the expressivity of a logical formalism, and the complexity of reasoning within that …