hrcak mascot   Srce   HID

Original scientific paper

Modeling and solving self-referential puzzles

Maja Bubalo ; Faculty of Pedagogy, University of Osijek, Osijek, Croatia
Mirko Čubrilo ; Faculty of Organization and Informatics, University of Zagreb, Varaždin, Croatia

Fulltext: english, pdf (167 KB) pages 1-12 downloads: 807* cite
APA 6th Edition
Bubalo, M. & Čubrilo, M. (2005). Modeling and solving self-referential puzzles. Journal of Information and Organizational Sciences, 29 (1), 1-12. Retrieved from https://hrcak.srce.hr/78211
MLA 8th Edition
Bubalo, Maja and Mirko Čubrilo. "Modeling and solving self-referential puzzles." Journal of Information and Organizational Sciences, vol. 29, no. 1, 2005, pp. 1-12. https://hrcak.srce.hr/78211. Accessed 22 Aug. 2019.
Chicago 17th Edition
Bubalo, Maja and Mirko Čubrilo. "Modeling and solving self-referential puzzles." Journal of Information and Organizational Sciences 29, no. 1 (2005): 1-12. https://hrcak.srce.hr/78211
Harvard
Bubalo, M., and Čubrilo, M. (2005). 'Modeling and solving self-referential puzzles', Journal of Information and Organizational Sciences, 29(1), pp. 1-12. Available at: https://hrcak.srce.hr/78211 (Accessed 22 August 2019)
Vancouver
Bubalo M, Čubrilo M. Modeling and solving self-referential puzzles. Journal of Information and Organizational Sciences [Internet]. 2005 [cited 2019 August 22];29(1):1-12. Available from: https://hrcak.srce.hr/78211
IEEE
M. Bubalo and M. Čubrilo, "Modeling and solving self-referential puzzles", Journal of Information and Organizational Sciences, vol.29, no. 1, pp. 1-12, 2005. [Online]. Available: https://hrcak.srce.hr/78211. [Accessed: 22 August 2019]

Abstracts
The so-called self-referential puzzles are a very interesting kind of logic puzzles, aiming at developing the skill of logical thinking. A self-referential puzzle consists of a sequence of questions about the puzzle itself. In this paper, we shall show some selfreferential puzzles, demonstrate how to model and solve them as propositional logic problems, and how to mechanically generate new puzzles. For this, we shall make use of the specific advantages of Mozart/Oz system – the finite domain constraint programming language and environment.
We shall also show some new puzzles, according to our best knowledge not yet published elsewhere. The program in Mozart/Oz using our method generated these puzzles.

Keywords
self-referential puzzles; logic programming; finite domain constraint programming; Mozart/Oz

Hrčak ID: 78211

URI
https://hrcak.srce.hr/78211

Visits: 999 *