| Date | Who | What
|
|---|
| 96-1-10 | Etherington |
Administrivia and high-level overview
|
|---|
| 96-1-17 | Etherington |
Detailed overview: through limited reasoning
|
|---|
| 96-1-24 | Etherington |
Detailed overview cont'd: HKB, knowledge compilation,
successive approximations
|
|---|
| Massey |
Levesque: Logic of Implicit and Explicit Belief
|
| 96-1-31 | Bedrax-Weiss |
Levesque & Brachman: A Fundamental Tradeoff in
Knowledge Representation
|
|---|
| Wu |
Frisch: Inference Without Chaining
|
| 96-2-7 | Parkes |
Patel-Schneider: A Decidable First-Order Logic
for Knowledge Representation
|
|---|
| Massey |
Davis: Lucid Representations
|
| 96-2-14 | Flores |
Crawford & Kuipers: Toward a Theory of Access-
Limited Logic for Knowledge Representation
|
|---|
| Liu |
Borgida & Etherington: Hierarchical Knowledge Bases
|
| 96-2-21 | Eastley |
Kautz & Selman: A General Framework for
Knowledge Representation
|
|---|
| Pei |
Kautz & Selman: An Empirical Evaluation of
Knowledge Representation
|
| 96-2-28 | Bedrax-Weiss |
Boddy & Dean: Solving time dependent
planning problems
|
|---|
| |
Dean & Boddy: An analysis of time dependent planning
|
| Parkes |
Khardon & Roth: Reasoning with Models
|
| 96-3-6 | Eastley |
Mouaddib & Zilberstein: Knowledge-based anytime
computation
|
|---|
| Liu |
del Val: Tractable databases: how to make propositional
unit resolution complete through compilation
|
| 96-3-13 | Wu |
del Val: An Analysis of Approximate
Knowledge Compilation
|
|---|
| Pei |
Cadoli & Schaerf: Approximate inference in default
logic and circumscription
|
| |
Cadoli & Schaerf: Tractable Reasoning via Approximation
|
| | Flores |
Ginsberg: Using Defaults to Guide Search
|