DIANA (panel session): an intermediate representation language for Ada.

Stowe Boyd Rudolph A. Krutar George Romanski S. Tucker Taft Tom Wilcox

Published in: WADAS (1987)

Keyphrases

representation language
knowledge representation
background knowledge
first order logic
inductive logic programming
formal language
concept descriptions
domain description
databases
real world
artificial intelligence
expert systems
software engineering
knowledge based systems
knowledge structures