Profile cover photo
Profile photo
Rodrigo Lopes
292 followers
292 followers
About
Rodrigo's posts

Post has attachment
the escape of blue eyed vampires (answer)
The island of blue eyed vampires (answer) An initial idea Each one needs to figure out if him/herself is blue eyed. They assume having blue eyes and see how the others react. A technical details There are some variations to formalize this problem using diff...

Post has shared content
+Karina Negreiros, +Yuri Damasceno, +Linda Ariel ... hooray for the Munich Autumn.


Post has shared content
That would be a dream come true. 

Post has shared content

Post has attachment
The escape of blue eyed vampires
Once upon a time, a vampire clan lived peacefully in an island (as long as vampire clans can live peacefully). Then, a demon lord came, overwhelmed the vampires and became the ruler of the island. The demon didn't want any vampire to escape so he created a ...

Post has attachment

It would be enigmatic for some but I need to say: Dr. 6 (aka Mysterious Challenger) is the most unbelivieble card in Hearthstone. #hearthstone  

Post has attachment
Bom texto... e incrivelmente atual.

Post has attachment
Could you (ladies and gentlemen) help me with one problem?

http://cs.stackexchange.com/questions/40005/solving-subproblem-in-logic-first-order-propositional-pddl

Basically: Is there any algorithm able to prove (solve) a logic problem (first-order, propositional, pddl) by finite induction?

Post has shared content
Charles bridge.
Wait while more posts are being loaded