A logic puzzle is a form of entertainment that asks the solver to infer relationships between objects given a set a clues. Each clue is a portion of the solution. A good puzzle is one that is challenging one that that requires the solver to make difficult inferences to realize each part of the solution. My goal was to find an algorithm that, given a solution to a puzzle, would generate a set of clues that would make the puzzle difficult for a person to solve. In this paper, I describe the logic… Expand

It is shown how propositional logical theories can be compiled into Horn theories that approximate the original information, and the approximations bound the original theory from below and above in terms of logical strength.Expand

The experiences, understandings, and beliefs that guide the professional practices of teacher educators are explored, and the book paints a picture of a profession that offers huge rewards, alongside challenges and frustrations.Expand

This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent that combines a form of explanation-based learning that is situated for each instruction with a full suite of contextually guided responses to incomplete explanations.Expand

A meta-level definition of abduction in l d terms of deduction, similar to various definitions proposed in the literature, and an object-leve efinition in which abductive conclusions are expressed as a logical consequence of the obser.Expand