id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ajis02-290	Ghose, Aditya	Editorial	1999	2	.pdf	application/pdf	1007	41	35	The formal language in which they propose to represent specifications is in itself quite novel - quasi-classical (QC) logic is a variant of classical logic that permits reasoning with portions of formal specifications that are not directly affected by inconsistencies, in the event that such inconsistencies appear in specifications (typically as a consequence of requirements change). They propose an ambitious scheme that uses techniques derived from abductive logic programming to identify means for resolving inconsistencies generated by changes to requirements specifications.	cache/ajis02-290.pdf	txt/ajis02-290.txt