@book{58196,
	author = {Brachman, Ronald J. and Levesque, Hector J.},
	title = {Knowledge representation and reasoning /},
	publisher = {Morgan Kaufmann,},
	year = {2004},
	address = {Boston :}
}