• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / AAAI Workshop Papers 1998 /

Verification and Validation of Knowledge-Based systems: Papers from the 1998 AAAI Workshop

Contents

  • Testing Production System Programs

    Grigoris Antoniou, Oliver Jack

    1

    PDF
  • Quantitative Performance Prediction for Rule-based Expert Systems

    Valerie Barr

    10

    PDF
  • Application of Clustering Analysis to Coverage Testing for Large KBS

    Valerie Barr, Mala Mehrotra

    16

    PDF
  • Issues in Designing Rule-based Systems for Integrated Evaluation

    P. G. Chander, T. Radhakrishnan, and R. Shinghal

    18

    PDF
  • Where Do We Go From Here?

    Rose Gamble, Aarti Pai, Robert Plant

    25

    PDF
  • Functional Ontology Artifacts: Emergent and Existent Knowledge

    Daniel E. O'Leary

    30

    PDF
  • Building The Right System Right

    Alun Preece

    38

    PDF
  • An Approach to Quantifying Tradeoffs in Testing Intelligent Systems

    Deborah Walker, Piotr Gmytrasiewicz

    46

    PDF

Primary Sidebar