Non-Deterministic Expressions and Predicate Transformers.

Joseph M. Morris

Published in: Inf. Process. Lett. (1997)

Keyphrases

first order logic
natural language
facial expressions
horn clauses
database
machine learning
reinforcement learning
mobile robot
fluid model
mathematical expressions
decision making
image processing
information technology
artificial neural networks
stochastic methods