@book{5269,
	author = {Brachman, Ronald J. and Levesque, Hector J.},
	title = {Knowledge representation and reasoning},
	publisher = {Morgan Kaufmann Publishers,},
	year = {2012.},
	address = {San Francisco, }
}