Hoppa till huvudinnehåll


	title        = {Konstruktiv mängdteori},
	abstract     = {Denna uppsats är ett försök att beskriva hur man kan formulera den traditionella mängdteorin konstruktivt. En del ickekonstruktiva axiom måste bytas ut mot alternativa varianter. Den teori som uppkommer är Peter Aczels konstruktiva Zermelo-Fraenkel. Det konstruktiva i teorin rättfärdigas genom tolkning i Martin-Löfs typteori.},
	author       = {Ljunglöf, Peter},
	year         = {1998},
	publisher    = {University of Gothenburg},
	address      = {Göteborg},

	title        = {Bamse-land: A virtual theatre with entertaining agents based on well-known characters},
	abstract     = {The virtual theatre Bamse-land is an entertaining virtual world, where characters taken from the Swedish comic book Bamse are implemented as autonomous agents. The agents interact with each other according to their different personalities, which were derived from the comic. Our main concern has been to make an entertaining and believable application, and by keeping the algorithms non-complicated show that there can be easy solutions to the problem of designing believable agent applications. Experiences with users show that entertaining agents based on well-known characters bring many advantages, including a simplified design process and higher user involvement.},
	booktitle    = {Extended Abstracts of CHI'98, Conference on Human Factors in Computing Systems },
	author       = {Ljunglöf, Peter and Nilsson, Victoria and Siverbo, Magdalena},
	year         = {1998},