Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1 - Stable model semantics - Document - PDFSEARCH.IO

First Page	Meta Content
	Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1 Add to Reading List Document Date: 2010-07-17 11:25:02 Open Document File Size: 370,10 KB Share Result on Facebook City Stony Brook / / Company USA 2 Vulcan Inc. / Vulcan Inc. / / Country United States / / Currency pence / / Facility Stable Model / Michael Kifer1 Benjamin Grosof2 State University of New York / / IndustryTerm ordinary logic programming systems / Web services / / Organization National Science Foundation / State University of New York / / Position head / / ProgrammingLanguage L / / SocialTag Knowledge Reasoning Non-classical logic Critical thinking Defeasible reasoning Stable model semantics Argumentation theory Answer set programming Defeasible logic Logic programming

Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1Add to Reading List