• 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 1993 /

Validation and Verification of Knowledge-Based Systems

Contents

  • The Meta-knowledge Level: A Methodology for Validation

    Robert T. Plant

    87

    PDF
  • Knowledge Base Verification: Criteria and Approaches

    Du Zhang

    148

    PDF
  • Knowledge-based Process Specification Language: A Specification and Validation Technique for Knowledge-based Systems

    G. B. Prabhat, P. Srinivasan

    138

    PDF
  • Guidelines for the Verification and Validation of AI Systems

    Lance Miller

    137

    PDF
  • Specification of Knowledge

    Rasiah Loganantharaj

    135

    PDF
  • A Tentative New Logical Approach for Dealing with KBS’s Verification Problems

    Luis M. Laita, Luis de Ledesma, Aurora P'erez, and Angelica de Antonio

    129

    PDF
  • Validation and Verification of Knowledge-based Systems

    Musa J. Jafar

    127

    PDF
  • A Perspective on Formal Verification

    Rose F. Gamble

    123

    PDF
  • Integrated Design and Validation and Verification of Knowledge-based Systems

    Ed P. Andert Jr.

    119

    PDF
  • A Review of Expert Systems Evaluation Techniques

    Peter D. Grogono, Alun D. Preece, Rajjan Shinghal, and Ching Y. Suen

    113

    PDF
  • Experiences of Using Verification Tools for Maintenance of Rule-based Systems

    Mark Dahl, Keith Williamson

    107

    PDF
  • The VIVA Method: A Life-cycle Independent Approach to KBS Validation

    Steven A. Wells

    102

    PDF
  • An Analysis of Output-based Partition Testing for Heuristic Classification Expert Systems

    Imran A. Zualkernan, Yuan-Ying Lin

    1

    PDF
  • Experiences in Improving the State of the Practice in Verification and Validation of Knowledge-based Systems

    Scott W. French, Chris Culbert, and David Hamilton

    79

    PDF
  • Modular Design and Verification of Logical Knowledge Bases

    Grigoris Antoniou

    71

    PDF
  • Verification Issues in Combining Independently Consistent Theories

    Windy Gambetta

    65

    PDF
  • Knowledge Base Reduction for Verifying Rulebases Containing Equations

    Keith Williamson, Mark Dahl

    59

    PDF
  • Consistency of Scientific Knowledge Bases

    Hidde de Jong, Nicolaas J. I. Mars, and Paul E. van der Vet

    57

    PDF
  • Multi-viewpoint Clustering Analysis

    Mala Mehrotra, Chris Wild

    45

    PDF
  • Application of Metric Measures: From Conventional Software to Expert Systems

    Zhisong Chen, Ching Y. Suen

    37

    PDF
  • Validating the Performance of a Case-based Reasoning System

    Takao Terano

    31

    PDF
  • Verification and Validation of Multiple Agent Systems: Combining Agent Probabilistic Judgments

    Dan O'Leary

    20

    PDF
  • Structural Validation of Expert Systems: Experience Using a Formal Model

    Alun D. Preece, Clifford Grossner, P. Gokul Chander, and T. Radhakrishnan

    12

    PDF
  • Random Verification of Knowledge-based Systems with Uncertainty

    Michel de Rougement

    9

    PDF

Primary Sidebar