Miracles in Formal Theories of Action.

Vladimir Lifschitz Arkady Rabinov

Published in: Artif. Intell. (1989)

Keyphrases

formal models
ontological engineering
action theories
formal model
design theory
legal knowledge
website
reactive systems
situation calculus
action sequences
formal analysis
cognitive psychology
neural network
action selection
reinforcement learning
search engine
genetic algorithm