Semantic Based Theory Revision in Nonmonotonic Logic

Research output: Book/Report › Report › Academic

Keywords

@book{bd535a21da8747309eba82bdaac968b3,

title = "Semantic Based Theory Revision in Nonmonotonic Logic",

keywords = "Wiskunde en Informatica (WIIN)",

author = "C. Witteveen and \{van der Hoek\}, W.",

year = "1995",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "1995-39",

publisher = "Utrecht University",

edition = "UU-CS",

}