Martin Magnusson

Martin Magnusson
martin@boldai.com
+46 730 442887
Office 2F:460A

Mediatron is a web design company that builds web pages that are easy to update, directly from your browser.

The Skinner Box iPhone app is a scientific method for behavior change. Read more or get Skinner Box on App Store.

Walk-through
YouTube movie

Speech Acts
YouTube movie

The only game based on automated theorem proving technology.

Join Sir Bouncealot through ten levels of platform jumping monster bashing fun in his holy quest for a place in the highscore list.

Fend of swarms of robotic droids in this arcade game featuring insanely fast action and techno music. Watch a YouTube video or Download Quadnet and play in DOSBox.

Boldai Publications Trick Trap Twitter Blog Flickr Linkedin Facebook Mediatron Photography 729G06 TDDI15 Contact			Abductive Reasoning with Filtered Circumscription Logical Agents for Language and Action Deductive Planning with Inductive Loops Complete list of my scientific publications at the Artificial Intelligence division of Linköping University	Martin Magnusson martin@boldai.com +46 730 442887 Office 2F:460A

	Mediatron is a web design company that builds web pages that are easy to update, directly from your browser.	The Skinner Box iPhone app is a scientific method for behavior change. Read more or get Skinner Box on App Store.	Download Walk-through Speech Acts 3D Version The only game based on automated theorem proving technology.
	Join Sir Bouncealot through ten levels of platform jumping monster bashing fun in his holy quest for a place in the highscore list.		Fend of swarms of robotic droids in this arcade game featuring insanely fast action and techno music. Watch a YouTube video or Download Quadnet and play in DOSBox.
	Read about my project to become cyborg	Martin Magnusson	Enjoy a YouTube video, the Wikipedia entry, or play Jump 'n' Bump in DOSBox.