Review of Formalisms and Notation.

Published in: Compiler Construction (1976)

Keyphrases

real time
knowledge representation
online reviews
nonmonotonic reasoning
logic programming
learning algorithm
digital libraries
relational databases
computer vision
modeling language
databases
literature review
data sets
multiscale
hidden markov models
reasoning tasks
computational properties
action theories