A symbolic functional description language.

Gotaro Odawara Jun Sato Masahiro Tomita

Published in: DAC (1984)

Keyphrases

description language
software architecture
web services
specification language
description languages
high level
search algorithm
real world
learning algorithm
database systems
cooperative
object oriented
planning domains