Conditional Rewrite Rule Systems with Built-In Arithmetic and Induction.

Sergei G. Vorobyov

Published in: RTA (1989)

Keyphrases

expert systems
management system
embedded systems
computing systems
databases
artificial intelligence
software engineering
distributed systems
inductive logic programming
concept learning