Specification of complex reasoning tasks in KBSSF

  • Authors:

  • Linda in 't Veld;Willem Jonker;Jan Willem Spee

  • Affiliations:

  • -;-;-

  • Venue:
  • Based on the material from the International Workshop on Formal Specification Methods for Complex Reasoning Systems on Formal specification of complex reasoning systems
  • Year:
  • 1993

Quantified Score

Hi-index 0.00

Visualization

Abstract