Rich Classes Inferable from Positive Data: Length-Bounded Elementary Formal Systems

Takeshi Shinohara

Published in: Inf. Comput. (1994)

Keyphrases

formal methods
expert systems
intelligent systems
complex systems
neural network
management system
computing systems
real time
databases
machine learning
artificial intelligence
high level
relational databases
query language
computer systems