Generalizing Logical Execution Time.

Edward A. Lee Marten Lohstroh

Published in: Principles of Systems Design (2022)

Keyphrases

execution model
decision making
execution traces
computer vision
logic programs
probabilistic logic
predicate calculus
logical properties
logical representation