InhaltsangabeThe original approach: Classical default logic.- An alternative approach: Constrained default logic.- Putting default logics into perspective.- A context-based framework for default logics.- Possible worlds semantics for default logics.- Adding specificity to default logics.- Adding lemma handling to default logics.- Query-answering in default logics.- A Prolog-technology compiler for query-answering.- Conclusions and perspectives.