There's still time to RSVP for Moshe @vardi 's #WorldLogicDay talk, Tues, Jan 20th! Join us in-person or online. He'll will discuss whether AI minds are genuine minds.
Tues, Jan 20th @ 4pm CST (Reception following at 5pm) Rice Univ Duncan Hall
RSVP: https://events.rice.edu/event/416255-moshe-vardi-world-logic-day-lecture
Feel the magic of #logic! π§ββοΈ
In βTempus Fugitβ you play a mage fighting monsters. π§ Which spells you can cast depends on past and future events and is expressed in a variant of linear temporal logic (LTL). #LTL is one of the most important temporal logics in computer science.
Definitely one of my all-time-favorites among the #games that my #tuberlin students have developed!
Play it on: https://games.equiv.io/2019wise-tempus-fugit
(Happy #WorldLogicDay, AoE! π₯³)
#WorldLogicDay: #Puzzle Fans - check out some of the popular resources for Math, Logic puzzles, Brain teasers, programming problems and more...
https://knowledgezone.co.in/posts/Math-and-Logic-Puzzles-5f71e7e4455a95af4901d943
Moshe Vardi
Benjamin Bisping
Prof. Felipe GusmΓ£o
Out of Context Podcast Quotes
Cute Calendar
Knowledge Zone