• Corpus ID: 2325173

# Creating Logic Puzzles

```@inproceedings{Peintner2001CreatingLP,
title={Creating Logic Puzzles},
author={Bart Peintner},
year={2001}
}```
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…

## References

SHOWING 1-7 OF 7 REFERENCES
Knowledge compilation and theory approximation
• Computer Science
JACM
• 1996
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.
Computers and Intractability: A Guide to the Theory of NP-Completeness
• Computer Science
• 1978
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.
Flexibly Instructable Agents
• Computer Science
J. Artif. Intell. Res.
• 1995
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.
On the Relationship between Abduction and Deduction
• Philosophy
J. Log. Comput.
• 1991
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.
Abductive Logic Programming
• Computer Science
LPNMR
• 1990
Analysis and Visualization of Constraint Programs and Solvers Workshop
• "Flexibly Instructable Agents",
• 1979