Using Temporal Abstraction to Understand Recursive Programs Involving Side Effects.

Joachim H. Laubsch Marc Eisenstadt

Published in: AAAI (1982)

Keyphrases

temporal abstractions
recursive programs
program synthesis
logic programs
influence diagrams
temporal patterns
temporal data
transformation rules
temporal databases
reinforcement learning
user interface
business intelligence
temporal reasoning
time stamped