@book{40774,
	author = {Brachman, Roanald J. and Levesque, Hector J.},
	title = {Knowledge representation and reasoning},
	publisher = {Morgan Kaufmann Publishers,},
	year = {2004},
	address = {San Francisco,USA:}
}