\begin{thebibliography}{10}

\bibitem{benj95}
V.R. Benjamins.
\newblock Problem-Solving Methods for Diagnosis and their Role in Knowledge
  Acquisition.
\newblock {\em International Journal of Expert Systems: Research \&
  Applications}, 8(2):93--120, 1995.

\bibitem{breuker94}
J.~Breuker.
\newblock Components of {P}roblem {S}olving and {T}ypes of {P}roblems.
\newblock In {\em 8th European Knowledge Acquisition Workshop, EKAW '94}, pages
  118--136, 1994.

\bibitem{buch84}
B.G. Buchanan and E.H. Shortliffe.
\newblock {\em Rule-{B}ased {E}xpert {S}ystems: The {MYCIN} {E}xperiments of
  the {S}tanford {H}euristic {P}rogramming {P}roject}.
\newblock Addison-Wesley, 1984.

\bibitem{by91}
T.~Bylander, D.~Allemang, M.C. M.C.~Tanner, and J.R. Josephson.
\newblock The {C}omputational {C}omplexity of {A}bduction.
\newblock {\em Artificial Intelligence}, 49:25--60, 1991.

\bibitem{clancey85}
W.~Clancey.
\newblock Heuristic {C}lassification.
\newblock {\em Artificial Intelligence}, 27:289--350, 1985.

\bibitem{clancey92}
W.J. Clancey.
\newblock Model {C}onstruction {O}perators.
\newblock {\em Artificial Intelligence}, 53:1--115, 1992.

\bibitem{compton90}
P.J. Compton and R.~Jansen.
\newblock A {P}hilosophical {B}asis for {K}nowledge {A}cquisition.
\newblock {\em Knowledge Acquisition}, 2:241--257, 1990.

\bibitem{console91}
L.~Console and P.~Torasso.
\newblock A {S}pectrum of {D}efinitions of {M}odel-{B}ased {D}iagnosis.
\newblock {\em Computational Intelligence}, 7:133--141, 3 1991.

\bibitem{vandebrug86}
A.~Van de~Brug, J.~Bachant, and J.~McDermott.
\newblock The {T}aming of {R1}.
\newblock {\em IEEE Expert}, pages 33--39, Fall 1986.

\bibitem{deKleer86}
J.~DeKleer.
\newblock An {A}ssumption-{B}ased {TMS}.
\newblock {\em Artificial Intelligence}, 28:163--196, 1986.

\bibitem{dekleer87}
J.~DeKleer and B.C. Williams.
\newblock Diagnosing {M}ultiple {F}aults.
\newblock {\em Artificial Intelligence}, 32:97--130, 1 1987.

\bibitem{doyle79}
J.~Doyle.
\newblock A Truth Maintenance System.
\newblock {\em Artificial Intelligence}, 12:231--272, 1979.

\bibitem{easter91b}
S.~Easterbrook.
\newblock {\em Elicitation of Requirements from Multiple Perspectives}.
\newblock PhD thesis, Imperial College of Science Technology and Medicine,
  University of London, 1991.
\newblock Available from {\em http://research.ivv.nasa.gov/
  $\sim$steve/papers/index.html}.

\bibitem{edwards96}
G.~Edwards.
\newblock Reflective Expert Systems in Pathology.
\newblock Master's thesis, Computer Science \& Engineering, University of NSW,
  1996.

\bibitem{eshghi93}
K.~Eshghi.
\newblock A {T}ractable {C}lass of {A}bductive {P}roblems.
\newblock In {\em {IJCAI} '93}, volume~1, pages 3--8, 1993.

\bibitem{falk90}
B~Falkenhainer.
\newblock Abduction as {S}imilarity-{D}riven {E}xplanation.
\newblock In P.~O'Rourke, editor, {\em Working Notes of the 1990 Spring
  Symposium on Automated Abduction}, pages 135--139, 1990.

\bibitem{fecosm89b}
B.~Feldman, P.~Compton, and G.~Smythe.
\newblock Towards {H}ypothesis {T}esting: {JUSTIN}, {P}rototype {S}ystem
  {U}sing {J}ustification in {C}ontext.
\newblock In {\em Proceedings of the Joint Australian Conference on Artificial
  Intelligence, {AI} '89}, pages 319--331, 1989.

\bibitem{fink94}
A.~Finkelstein, D.~Gabbay, A.~Hunter, J.~Kramer, and B.~Nuseibe.
\newblock Inconsistency Handling In Multi-Perspective Specification.
\newblock {\em IEEE Transactions on Software Engineering}, 20(8):569--578,
  1994.

\bibitem{gaines92a}
B.R. Gaines and P.~Compton.
\newblock Induction of Ripple Down Rules.
\newblock In {\em Proceedings, Australian AI '92}, pages 349--354. World
  Scientific, 1992.

\bibitem{gross93}
C.~Grossner, A.~Preece, P.~Gokul Chander, T.~Radhakrishnan, and C.~Suen.
\newblock Exploring the Structure of Rule Based Systems.
\newblock In {\em Proc. 11th National Conference on Artificial Intelligence
  (AAAI-93)}, pages 704--709. MIT Press, 1993.

\bibitem{hamscher90}
W.~Hamscher.
\newblock Explaining {U}nexpected {F}inancial {R}esults.
\newblock In P.~O'Rourke, editor, {\em {AAAI} Spring Symposium on Automated
  Abduction}, pages 96--100, 1990.

\bibitem{hirata94}
K.~Hirata.
\newblock A {C}lassification of {A}bduction: {A}bduction for {L}ogic
  {P}rogramming.
\newblock In {\em Proceedings of the Fourteenth International Machine Learning
  Workshop, ML-14}, page~16, 1994.
\newblock Also in {\em Machine Intelligence} 14 (to appear).

\bibitem{hun97}
A.~Hunter and B.~Nuseibeh.
\newblock Analysing Inconsistent Specifications.
\newblock In {\em International Symposium on Requirements Engineering}, pages
  78--86, 1997.

\bibitem{kang95}
B.H. Kang, P.~Compton, and P.~Preston.
\newblock Multiple Classification Ripple Down Rules: Evaluation and
  Possibilities.
\newblock In {\em Proceedings 9th Banff Workshop on Knowledge Acquisition},
  1995.

\bibitem{leake93}
D.B. Leake.
\newblock Focusing {C}onstruction and {S}election of {A}bductive {H}ypotheses.
\newblock In {\em {IJCAI} '93}, pages 24--29, 1993.

\bibitem{lee96}
M.~Lee and P.~Compton.
\newblock From Heuristic to Causality.
\newblock In {\em Proceedings of the 3rd World Congress on Expert System
  (WcES'96)}, 1996.

\bibitem{marques92}
D.~Marques, G.~Dallemagne, G.~Kliner, J.~McDermott, and D.~Tung.
\newblock Easy {P}rogramming: Empowering {P}eople to {B}uild {T}heir Own
  {A}pplications.
\newblock {\em IEEE Expert}, pages 16--29, June 1992.

\bibitem{me97g}
T.~Menzies and D.~Fensel.
\newblock 42 Kinds of Knowledge Mainteance, 1997.
\newblock In preperation.

\bibitem{me95g}
T.~J. Menzies.
\newblock Applications of Abduction: Intelligent Decision Support Systems.
\newblock In {\em Proceedings of the Melbourne Workshop on Intelligent Decision
  Support}. Department of Information Systems, Monash University, Melbourne,
  1996.
\newblock Also, TR95-16, Department of Software Development, Monash University.

\bibitem{me92k}
T.J. Menzies.
\newblock Maintaining Procedural Knowledge: Ripple-Down-Functions.
\newblock In {\em Proceedings of AI '92, Australia}, 1992.

\bibitem{me95}
T.J. Menzies.
\newblock {\em Principles for Generalised Testing of Knowledge Bases}.
\newblock PhD thesis, University of New South Wales, 1995.

\bibitem{me95a}
T.J. Menzies.
\newblock Situated {S}emantics is a {S}ide-{E}ffect of the {C}omputational
  {C}omplexity of {A}bduction.
\newblock In {\em Australian Cognitive Science Society, 3rd Conference}, 1995.

\bibitem{me96b}
T.J. Menzies.
\newblock On the Practicality of Abductive Validation.
\newblock In {\em ECAI '96}, 1996.

\bibitem{me96a}
T.J. Menzies.
\newblock Applications of Abduction: Knowledge Level Modeling.
\newblock {\em International Journal of Human Computer Studies}, 45:305--355,
  September, 1996.

\bibitem{me94}
T.J. Menzies and P.~Compton.
\newblock {\em A {P}recise {S}emantics for {V}ague {D}iagrams}, pages 149--156.
\newblock World Scientific, 1994.

\bibitem{me97a}
T.J. Menzies and P.~Compton.
\newblock Applications of Abduction: Hypothesis Testing of
  Neuroendocrinological Qualitative Compartmental Models.
\newblock {\em Artificial Intelligence in Medicine}, 1997.
\newblock To appear.

\bibitem{newell82}
A.~Newell.
\newblock The {K}nowledge {L}evel.
\newblock {\em Artificial Intelligence}, 18:87--127, 1982.

\bibitem{newell93}
A.~Newell.
\newblock Reflections on the {K}nowledge {L}evel.
\newblock {\em Artificial Intelligence}, 59:31--38, Feburary 1993.

\bibitem{newell91}
A.~Newell, G.R. Yost, J.E Laird, P.S. Rosenbloom, and E.~Altmann.
\newblock Formulating the {P}roblem {S}pace {C}omputational {M}odel.
\newblock In P.S. Rosenbloom, J.E. Laird, and A.~Newell, editors, {\em The Soar
  Papers}, volume~2, pages 1321--1359. MIT Press, 1991.

\bibitem{ng90}
H.T. Ng and R.J. Mooney.
\newblock The {R}ole of {C}oherence in {C}onstructing and {E}valuating
  {A}bductive {E}xplanations.
\newblock In {\em Working {N}otes of the 1990 {S}pring {S}ymposium on
  {A}utomated {A}bduction}, volume TR 90-32, pages 13--17, 1990.

\bibitem{norvig92}
P.~Norvig.
\newblock {\em Paradigms of Artificial Intelligence Programming: Case Studies
  in Common Lisp}.
\newblock Morgan Kaufmann, 1992.

\bibitem{nus97}
B.~Nuseibeh.
\newblock To Be {\em and} Not to Be: On Managing Inconsistency in Software
  Development.
\newblock In {\em Proceedings of 8th International Workshop on Software
  Specification and Design (IWSSD-8)}, pages 164--169. IEEE CS Press., 1997.

\bibitem{paris89}
C.L. Paris.
\newblock The {U}se of {E}xplicit {U}ser {M}odels in a {G}eneration {S}ystem
  for {T}ailoring {A}nswers to the {U}ser's {L}evel of {E}xpertise.
\newblock In A.~Kobsa and W.~Wahlster, editors, {\em User Models in Dialog
  Systems}, pages 200--232. Springer-Verlag, 1989.

\bibitem{patil81}
R.S. Patil, P.~Szolovitis, and W.B Schwartz.
\newblock Causal {U}nderstanding of {P}atient {I}llness in {M}edical
  {D}iagnosis.
\newblock In {\em {IJCAI} '81}, pages 893--899, 1981.

\bibitem{plex93}
D.~Plexousakis.
\newblock Semantical and Ontological Considerations in Telos: a Language for
  Knowledge Representation.
\newblock {\em Computational Intelligence}, 9(1), February 1993.

\bibitem{poole85}
D.~Poole.
\newblock On the {C}omparison of {T}heories: {P}referring the {M}ost {S}pecific
  {E}xplanation.
\newblock In {\em {IJCAI} '85}, pages 144--147, 1985.

\bibitem{poole90a}
D.~Poole.
\newblock A {M}ethodology for {U}sing a {D}efault and {A}bductive {R}easoning
  {S}ystem.
\newblock {\em International Journal of Intelligent Systems}, 5:521--548, 1990.

\bibitem{pople73}
H.E. Pople.
\newblock On the mechanization of abductive logic.
\newblock In {\em IJCAI '73}, pages 147--152, 1973.

\bibitem{preston92}
P.~Preston.
\newblock Expert Systems, Knowledge Aquisition and Knowledge Modification,
  1992.
\newblock Honours thesis, School of Electrical Engineering, University of NSW.

\bibitem{preston93}
P.~Preston, G.~Edwards, and P.~Compton.
\newblock A 1600 {R}ule {E}xpert {S}ystem {W}ithout {K}nowledge {E}ngineers.
\newblock In J.~Leibowitz, editor, {\em Second World Congress on Expert
  Systems}, 1993.

\bibitem{reggia83}
J.~Reggia, D.S. Nau, and P.Y Wang.
\newblock Diagnostic {E}xpert {S}ystems {B}ased on a {S}et {C}overing {M}odel.
\newblock {\em Int. J. of Man-Machine Studies}, 19(5):437--460, 1983.

\bibitem{reggia85}
J.A. Reggia.
\newblock Abductive Inference.
\newblock In {\em Proceedigns of the Expert Systems in Government Symposium},
  pages 484--489, 1985.

\bibitem{reiter87}
R.~Reiter.
\newblock A {T}heory of {D}iagnosis from {F}irst {P}rinciples.
\newblock {\em Artificial Intelligence}, 32:57--96, 1 1987.

\bibitem{rich92}
C.~Rich and Y.A. Feldman.
\newblock Seven Layers of Knowledge Represeentation and Reasoning in Support of
  Software Development.
\newblock {\em IEEE Transactions on Software Engineering}, 18(6):451--469, June
  1992.

\bibitem{richards97}
D.~Richards and P.~Compton.
\newblock Combining Formal Concept Analysis and Ripple Down Rules to Support
  the Reuse of Knowledge.
\newblock In {\em SEKE '97: Proceedings of 1997 Conf. on Software Eng. \&
  Knowledge Eng, Madrid}, 1997.

\bibitem{rosen93}
P.S. Rosenbloom, J.E. Laird, and A.~Newell.
\newblock {\em The SOAR Papers}.
\newblock The MIT Press, 1993.

\bibitem{sellev90}
B.~Selman and H.J. Levesque.
\newblock Abductive and {D}efault {R}easoning: a {C}omputational {C}ore.
\newblock In {\em {AAAI} '90}, pages 343--348, 1990.

\bibitem{steels90}
L.~Steels.
\newblock Components of {E}xpertise.
\newblock {\em {AI} Magazine}, 11:29--49, 2 1990.

\bibitem{steier93}
D.M. Steier.
\newblock {CYPRESS}-{SOAR}: A Case Study in Search and Learning in Algorithm
  Design.
\newblock In P.S. Rosenbloom, J.E. Laird, and A.~Newell, editors, {\em The SOAR
  Papers}, volume~1, pages 533--536. MIT Press, 1993.

\bibitem{weil92}
B.J. Wielinga, A.T. Schreiber, and J.A. Breuker.
\newblock {KADS}: a {M}odeling {A}pproach to {K}nowledge {E}ngineering.
\newblock {\em Knowledge Acquisition}, 4:1--162, 1 1992.

\bibitem{yost89}
G.R. Yost and A.~Newell.
\newblock A {P}roblem {S}pace {A}pproach to {E}xpert {S}ystem {S}pecification.
\newblock In {\em {IJCAI} '89}, pages 621--627, 1989.

\end{thebibliography}
