A Generic Logic Environment.

Published in: LPAR (1992)

Keyphrases

dynamic environments
database
real time
real world
domain specific
expressive power
modal logic
test bed
learning community
environmental conditions
programming environment
classical logic
neural network
artificial intelligence
programming language
autonomous agents