Generating cellular puzzles with logic programs

Raphael Finkel, Wiktor Marek, Mirek Truszczynski

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the 2006 International Conference on Artificial Intelligence, ICAI'06
Pages403-407
Number of pages5
StatePublished - 2006
Event2006 International Conference on Artificial Intelligence, ICAI'06 - Las Vegas, NV, United States
Duration: Jun 26 2006Jun 29 2006

Publication series

NameProceedings of the 2006 International Conference on Artificial Intelligence, ICAI'06
Volume2

Conference

Conference2006 International Conference on Artificial Intelligence, ICAI'06
Country/TerritoryUnited States
CityLas Vegas, NV
Period6/26/066/29/06

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this