scientific article; zbMATH DE number 4152150

MaRDI QIDQ3481491zbMATH OpenFDO

Authors John M. Wilson

Publication date 1990

zbMATH Keywords

logical puzzles

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Integer programming (90C10)

Recommendations

• scientific article; zbMATH DE number 1923055
• scientific article; zbMATH DE number 1237865
• scientific article; zbMATH DE number 91357
• A mechanization of the impossible puzzle raised by Hans Freudenthal from intelligent agents point of view
• Logical methods in artificial intelligence applications
• scientific article; zbMATH DE number 5295814
• A Logical Approach to Constraint Satisfaction

Cited in

(5)

• Incomplete logical control system and its application to some intellectual problems
• Using an extended PROLOG to solve the lion and unicorn Puzzle
• Enigma 1225: Prolog-assisted solution of a puzzle using discrete mathematics
• Automated puzzle solving
• A mechanization of the impossible puzzle raised by Hans Freudenthal from intelligent agents point of view

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3481491)