TY - GEN
T1 - Generating cellular puzzles with logic programs
AU - Finkel, Raphael
AU - Marek, Wiktor
AU - Truszczynski, Mirek
PY - 2006
Y1 - 2006
N2 - We show how to characterize puzzles by logic programs and how to use those characterizations to build puzzles automatically. We can control the difficulty level of the puzzles by choosing how and when to invoke the logic program.
AB - We show how to characterize puzzles by logic programs and how to use those characterizations to build puzzles automatically. We can control the difficulty level of the puzzles by choosing how and when to invoke the logic program.
UR - http://www.scopus.com/inward/record.url?scp=84866121553&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84866121553&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84866121553
SN - 9781932415988
T3 - Proceedings of the 2006 International Conference on Artificial Intelligence, ICAI'06
SP - 403
EP - 407
BT - Proceedings of the 2006 International Conference on Artificial Intelligence, ICAI'06
T2 - 2006 International Conference on Artificial Intelligence, ICAI'06
Y2 - 26 June 2006 through 29 June 2006
ER -