نتایج جستجو برای: Riddle Equation

تعداد نتایج: 230816  

Journal: :J. Log. Comput. 2008
Hans van Ditmarsch Ji Ruan Rineke Verbrugge

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. This includes some references to precursors of the riddle, that were previously (as far as we know) unknown. We then model the Sum-and-Product riddle in a modal logic called public announcement logic. This logic cont...

2009
Gerhard Lakemeyer Leora Morgenstern Mary-Anne Williams Ivan José Varzinczak Rui da Silva Neves Mikhail Soutchanski Shakil M. Khan Yves Lespérance Hector J. Levesque Etienne van der Poel Shirin Sohrabi Jorge A. Baier Sheila A. McIlraith Stavros Vassos Sebastian Sardina

This paper describes an exercise in the formalization of common-sense with Answer Set Programming aimed at solving an interesting riddle, whose solution is not obvious to many people. Solving the riddle requires a considerable amount of common-sense knowledge and sophisticated knowledge representation and reasoning techniques, including planning and adversarial reasoning. Most importantly, the ...

2016
Chuanqi Tan Furu Wei Li Dong Weifeng Lv Ming Zhou

Chinese character riddle is a riddle game in which the riddle solution is a single Chinese character. It is closely connected with the shape, pronunciation or meaning of Chinese characters. The riddle description (sentence) is usually composed of phrases with rich linguistic phenomena (such as pun, simile, and metaphor), which are associated to different parts (namely radicals) of the solution ...

2009
Marcello Balduccini

This paper describes an exercise in the formalization of commonsense with Answer Set Programming aimed at finding the answer to an interesting riddle, whose solution is not obvious to many people. Solving the riddle requires a considerable amount of commonsense knowledge and sophisticated knowledge representation and reasoning techniques, including planning and adversarial reasoning. Most impor...

2009
Marcello Balduccini

This paper describes an exercise in the formalization of common-sense with Answer Set Programming aimed at solving an interesting riddle, whose solution is not obvious to many people. Solving the riddle requires a considerable amount of common-sense knowledge and sophisticated knowledge representation and reasoning techniques, including planning and adversarial reasoning. Most importantly, the ...

Journal: :International Trends / Mezhdunarodnye protsessy 2017

Journal: :Hispanic American Historical Review 1945

Journal: :International Journal “Speech Genres” 2017

Journal: :Nature Climate Change 2008

Journal: :Medieval Worlds 2021

It has been thought that of the forty or so surviving Old Norse riddles, only two have close parallels in wider international riddle tradition. This note shows, however, on leek probably thirteenth-century Heiðreks saga a parallel one late antique early medieval Bern Riddles, garlic. Moreover, larger conceptual structure riddle, which positions as an inverted person situated between earth and ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید