Sciweavers

6 search results - page 1 / 2
» An Implemented Model of Punning Riddles
Sort
View
AAAI
1994
13 years 7 months ago
An Implemented Model of Punning Riddles
Kim Binsted, Graeme Ritchie
LOGCOM
2008
110views more  LOGCOM 2008»
13 years 6 months ago
Sum and Product in Dynamic Epistemic Logic
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
ACL
2012
11 years 8 months ago
Humor as Circuits in Semantic Networks
This work presents a first step to a general implementation of the Semantic-Script Theory of Humor (SSTH). Of the scarce amount of research in computational humor, no research ha...
Igor Labutov, Hod Lipson
AUSAI
2005
Springer
13 years 11 months ago
Model Checking Sum and Product
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge
TMI
2010
133views more  TMI 2010»
13 years 4 months ago
Synthetic Magnetic Resonance Imaging Revisited
—Synthetic magnetic resonance (MR) imaging is an approach suggested in the literature to predict MR images at different design parameter settings from at least three observed MR ...
Ranjan Maitra, John J. Riddles