@book{193073,
	author = {Brachman, Ronald J. and Levesque, Hector J.},
	title = {Knowledge representation and reasoning /},
	publisher = {Morgan Kaufmann :},
	year = {2012.},
	address = {New Delhi ;},
	edition = {1st ed.}
}