%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Oezguer Oezcep at 2012-04-30 10:03:04 +0200 


%% Saved with string encoding Westeuropäisch (ISO Latin 1) 



@techreport{oezcep11KnowledgeTR,
	Author = {\"Ozg\"ur L. \"Oz\c{c}ep},
	Date-Added = {2011-12-02 16:43:36 +0100},
	Date-Modified = {2012-04-30 10:03:03 +0200},
	Institution = {Institute for Softwaresystems (STS), Hamburg University of Technology},
	Keywords = {belief revision, prime implicate, postulate},
	Note = {Available online at http://www.sts.tu-harburg.de/tech-reports/papers.html, superseded by the corrected and extended technical report in 2012 },
	Title = {Knowledge-Base Revision Using Implications as Hypotheses},
	Type = {Technical Report},
	Year = {2011}}