SCHEMATA: A Language for Deduction.

Carlos Araya Frank M. Brown

Published in: ECAI (1990)

Keyphrases

programming language
language learning
language processing
theorem proving
specification language
inference rules
intuitionistic logic
automated deduction
pattern languages
programming environment
modeling language
machine learning
probabilistic model
multi agent
website
genetic algorithm
information retrieval