The Automation of Reasoning with Incomplete Information, Vol. 140 Book

	Preface
	Acknowledgments
1	Introduction	1
2	The original approach: Classical default logic	11
3	An alternative approach: Constrained default logic	23
4	Putting default logics into perspective	33
5	A context-based framework for default logics	53
6	Possible worlds semantics for default logics	63
7	Adding specificity to default logics	75
8	Adding lemma handling to default logics	85
9	Query-answering in default logics	93
10	A Prolog-technology compiler for query-answering	135
11	Conclusions and perspectives	143
	A: Appendix	147
	References	149