Analysing PEARL Programs for Timely Schedulability and Executability.

Alexander D. Stoyenko Wolfgang A. Halang

Published in: Prozeßrechnersysteme (1991)

Keyphrases

decision making
situation calculus
belief revision
provably correct
database
databases
genetic algorithm
search engine
website
data model
causal models
fixpoint
reasoning about actions
automatic programming