Knowledge Based Systems, Volume 12

Volume 12, Numbers 1-2, April 1999

• Robert Plant, Grigoris Antoniou:
  Special issue on verification and validation. 1-2
  
• James G. Schmolze, Wayne Snyder:
  Detecting redundancy among production rules using term rewrite semantics. 3-11
  
• Rose F. Gamble, Patricia Stiger, Robert Plant:
  Rule-based systems formalized within a software architectural style. 13-26
  
• Valerie Barr:
  Applications of rule-base coverage measures to expert system evaluation. 27-35
  
• Alun D. Preece:
  C_OVERAGE: verifying multiple-agent knowledge-based systems. 37-44
  
• Andrew Waterson, Alun D. Preece:
  Verifying ontological commitment in knowledge-based systems. 45-54
  
• Debbie Richards, Paul Compton:
  An alternative verification and validation technique for an alternative knowledge representation and acquisition technique. 55-73
  

Volume 12, Number 3, June 1999

• Siu Cheung Kong, Lam For Kwok:
  A conceptual model of knowledge-based time-tabling system. 81-93
  
• Rudy Setiono, Wee Kheng Leow:
  On mapping decision trees and neural networks. 95-99
  
• Gerald R. Garside, Paul C. Rhodes, Dawn E. Holmes:
  The efficient estimation of missing information in causal inverted multiway trees. 101-111
  
• Masoud Saeedi, John A. A. Sillince:
  Incorporating rhetorical and plausible reasoning in a system for simulating argumentation. 113-127
  
• Michelle X. Zhou, Steven Feiner:
  Erratum to "Efficiently planning coherent visual discourse" [Knowledge-Based Systems 10 (1998) 275-286]. 129
  

Volume 12, Number 4, August 1999

• C. W. Tan, Angela Goh:
  Implementing ECA rules in an active database. 137-144
  
• Mazen Kanj, Jean-Claude Roegiers, Musharraf Zaman:
  Building a knowledge-efficient sanding advisor. 145-158
  
• Paul H. J. Hendriks:
  The organisational impact of knowledge-based systems: a knowledge perspective. 159-169
  
• Niladri Chatterjee, John A. Campbell:
  Interpolation of plans for time-critical adaptation. 171-182
  
• Ioannis P. Vlahavas, Ioannis Stamelos, Ioannis Refanidis, Alexis Tsoukiàs:
  ESSE: an expert system for software evaluation. 183-197
  

Volume 12, Numbers 5-6, October 1999

• Max Bramer:
  Es98. 205-206
  
• Dan Gardingen, Ian D. Watson:
  A web based CBR system for heating ventilation and air conditioning systems sales support. 207-214
  
• H. Howells, A. Davies, B. Macauley, R. Zancanato:
  Large scale knowledge based systems for airborne decision support. 215-222
  
• Paul J. P. Slater:
  PCONFIG: a Web-based configuration tool for Configure-To-Order products. 223-230
  
• Olivier Herbeaux, Alain Mille:
  ACCELERE: a case-based design assistant for closed cell rubber industry. 231-238
  
• Jirapun Daengdej, Dickson Lukose, Robert Murison:
  Using statistical models and case-based reasoning in claims prediction: experience from a real-world problem. 239-245
  
• Jon Simpson, John Kingston, Neil R. Molony:
  Internet-based decision support for evidence-based medicine. 247-255
  
• Craig B. Chapman, Martyn Pinfold:
  Design engineering - a need to rethink the solution using knowledge based engineering. 257-267
  
• David McSherry:
  Strategic induction of decision trees. 269-275
  
• Simon G. Thompson:
  Pruning boosted classifiers with a real valued genetic algorithm. 277-284
  
• Arnaud Ragel, Bruno Crémilleux:
  MVC - a preprocessing method to deal with missing values. 285-291
  
• Stéphane Coulondre:
  CG-SQL: a front-end language for conceptual graph knowledge bases. 293-302
  
• Ian D. Watson:
  Case-based reasoning is a methodology not a technology. 303-308
  
• Alex Alves Freitas:
  On rule interestingness measures. 309-315
  
• Robin Boswell, Susan Craw:
  Knowledge modelling for a generic refinement framework. 317-325
  

Volume 12, Number 7, November 1999

• Z. Chen:
  Retrospective analysis for knowledge-based idea generation of new artifacts. 333-339
  
• Du Zhang, Luqi:
  Approximate declarative semantics for rule base anomalies. 341-353
  
• P. A. Paraskevas, I. S. Pantelakis, Themistocles D. Lekkas:
  An advanced integrated expert system for wastewater treatment plants control. 355-361
  
• Changhwan Lee, Dong-Guk Shin:
  Using Hellinger distance in a nearest neighbour classifier for relational databases. 363-370
  
• Padraig Cunningham, Andrea Bonzano:
  Knowledge engineering issues in developing a case-based reasoning application. 371-379
  
• Tunu Miah, James L. Alty:
  Vanishing windows: an approach to adaptive window management. 381-389
  
• G. P. Heliades, Ernest A. Edmonds:
  On facilitating knowledge transfer in software design. 391-395
  

Volume 12, Number 8, December 1999

• Pedro A. Szekely, Christoph G. Thomas, Mark T. Maybury:
  Editorial: IUI 99. 401-402
  
• William H. Bares, James C. Lester:
  Intelligent multi-shot 3D visualization interfaces. 403-412
  
• Anthony Jameson, Ralph Schäfer, Thomas Weis, André Berthold, Thomas Weyrath:
  Making systems sensitive to the user's changing resource limitations. 413-425
  
• Henry Lieberman, Neil W. Van Dyke, Adriana Santarosa Vivacqua:
  Let's browse: a collaborative browsing agent. 427-431
  
• Angel R. Puerta, Jacob Eisenstein:
  Towards a general computational framework for model-based interface development systems. 433-442
  
• Christopher A. Miller, Matthew D. Hannen:
  The Rotorcraft Pilot's Associate: design and evaluation of an intelligent user interface for cockpit information management. 443-456