Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

scientific article; zbMATH DE number 4152150

From MaRDI portal
Publication:3481491
Jump to:navigation, search

zbMATH Open0702.90061MaRDI QIDQ3481491FDOQ3481491


Authors: John M. Wilson Edit this on Wikidata


Publication date: 1990



Title of this publication is not available (Why is that?)



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


zbMATH Keywords

logical puzzles


Mathematics Subject Classification ID

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



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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3481491&oldid=16820533"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 4 February 2024, at 21:49. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki