View on GitHub

Robert White

Shuai Wang

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

BNAIC, ESSLLI'16, CLAWAR'16, ICAC'16 + SISSY'16, UITP'16, COMSOC'16, TUSE, AITP'16, REINS, etc

Projects and Papers

Past:

Holide and ProofCloud: paper (long) and paper (short)

Holala: paper

Dynamic Epistemic Learning of Actions: code and paper

Deontic Logic and Robot Ethical Training: paper

Dynamic Epistemic Learning of Actions for Self-Adaptive MAS: page and paper

Current:

Multi-robot Multi-contact Motion Planning (CNRS)

Action Learning in Planning for Coopertive MAS (UvA)

Tutorials

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

Other Projects

Reasoner-Aid Research: Potentials and Popularity report

Epistemic Model Checking code and 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.

Publications

You can find all my publication in the project and paper section above. The list of my publication is avaliable on Google Scholar

Others

I am also an artist.