In the mathematics domain of decimals, students have common and persistent misconceptions. These misconceptions have been identified, studied, and published by many researchers, sp...
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
– The Science Activity Planner (SAP) is the primary science operations tool for the Mars Exploration Rover mission and NASA’s Software of the Year for 2004. SAP utilizes a vari...
Jeffrey S. Norris, Mark W. Powell, Marsette Vona, ...
This paper presents the advances in subgroup discovery and the ways to use subgroup discovery to generate actionable knowledge for decision support. Actionable knowledge is explici...
Social judgment is a process of social explanation whereby one identifies which entities deserve credit or blame for multiagent activities. Such explanations are a key aspect of i...