@article { DeGi-Iocc-Nard-99,
	title = {A Theory and Implementation of Cognitive Mobile Robots},
	journal = {Journal of Logic and Computation},
	volume = {5},
	number = {9},
	year = {1999},
	pages = {759{\textendash}785},
	issn = {0955-792X},
	author = {Giuseppe De Giacomo and L. Iocchi and D. Nardi and Riccardo Rosati}
}
