@inbook {15515,
	title = {Introduction to logic-based artificial intelligence},
	booktitle = {Logic-based artificial intelligenceLogic-based artificial intelligence},
	year = {2000},
	month = {2000///},
	pages = {3 - 33},
	author = {Minker, Jack}
}
