Welcome to my homepage.
I am an Artificial Intelligence geek with a degree from Manchester. I am currently a postgraduate student in UvA. I am based in ILLC. Here is my CV [long version and short version] and my email address: ai.robert.wangshuai xxxxx gmail xxxx com
Workshops and Conferences
Projects and Papers
Deontic Logic and Robot Ethical Training: paper
Multi-robot Multi-contact Motion Planning (CNRS)
Action Learning in Planning for Coopertive MAS (UvA)
An introduction to the C++ API of Smodels
An introduction to the C++ API of BuDDy
A Haskell binder for Yices link
The OpenTheory Hacking Guide link
Reasoner-Aid Research: Potentials and Popularity report
A Haskell Soduku solver based on PicoSAT link
Some NetLogo simulation of Multi-agent Systems code
A simple SAT solver in Scacla code
Talks and Seminars
Here are my slides for SISSY.
Here is my poster for ICAC.
Here are my slides for UITP.
I gave a talk in the Cool Logic seminar on 4th Dec.
Here are my slides for AITP in Austria.
I gave a talk in the Logic TEA seminar on 10th May (slides).
I will give a talk in Delft soon.
You can find all my publication in the project and paper section above. The list of my publication is avaliable on Google Scholar
I am also an artist.