id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
american_scientific_journal-5418	Al Kashari, Zainab; Al Taheri, Fatma 	Automated Reasoning and Robotics	2019	10	.pdf	application/pdf	5109	279	50	The aim of this survey is to study the applications of automated reasoning in the field of robotics and to evaluate its efficiency as a reasoning technique when applied. It is based generally on research into reasoning techniques applied to robotics and running an evaluation in contrast to automated reasoning to determine the rates of effectiveness between them.	cache/american_scientific_journal-5418.pdf	txt/american_scientific_journal-5418.txt